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

[Franck <vagabon.xyz@xxxxxxxxx>]

2005/10/4, Maciej W. Rozycki <macro@xxxxxxxxxxxxxx>:
> 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.
>

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

Thanks
--
               Franck