Re: [PATCH] Add support for 4KS cpu.

["Maciej W. Rozycki" <macro@linux-mips.org>]

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