On Tue, May 13, 2003 at 09:27:35PM +0200, Thiemo Seufer wrote: > Guido Guenther wrote: > [snip] > > > > So to build kernels for say IP22 R5k I'd change the current > > > > GCCFLAGS += -mcpu=r5000 -mips2 -Wa,--trap > > > > to > > > > GCCFLAGS += -mabi=o32 -march=R5000 -mtune=R5000 -Wa,--trap > > > > where as for R4X00 I use > > > > GCCFLAGS += -mabi=o32 -march=R4600 -mtune=R4600 -Wa,--trap > > > > Correct? > > > > > > Yes, this should work. You can leave the -mtune out, since it defaults > > > to the value of -march anyway. > > Just for completeness: I had to use: > > GCCFLAGS += -mabi=32 -march=r4600 -mtune=r4600 -Wa,--trap > > to make gcc-3.3 happy (note the 32 instead of o32). > > Yes, IIRC 64 vs. n64 has the same problem. That's not quite the same: 64 is o64, n64 is n64. GCC's never called the 32-bit ABI "o32". -- Daniel Jacobowitz MontaVista Software Debian GNU/Linux Developer
