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

[Franck <vagabon.xyz@gmail.com>]

2005/10/4, Franck <vagabon.xyz@gmail.com>:
> >  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.
> >
>
> maybe something like these are better (I removed last parameter since
> it's no more used) ?
>
> cflags-$(CONFIG_CPU_4KSC)       += \
>                         $(call set_gccflags,4ksc,mips32,4kc,mips32) \
>                         -Wa,--trap
>
> cflags-$(CONFIG_CPU_4KSD)       += \
>                         $(call set_gccflags,4ksd,mips32r2,4kec,mips32r2) \
>                         -Wa,--trap
>

Actually it would be better to let smartmips options in case we use
fallback options:

Thanks
--
               Franck