On Tue, 4 Oct 2005, Franck wrote: > should I pass these options to GCC for 4KSc ? > > cflags-$(CONFIG_CPU_4KSC) += \ > $(call set_gccflags,4kc,mips32r1,r4600,mips3,mips2) \ > -msmartmips -Wa,--trap s/mips32r1/mips32/, otherwise OK. But since you seem to use SDE, you may as well just use "4ksc" (and possibly skip "-msmartmips" as it's implied); similarly for "4ksd". Unfortunately documentation on what CPU types are accepted seems to be incomplete -- use `gcc -v --help' to see which ones are actually available. Maciej
