[Top] [All Lists]

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

To: Franck <>
Subject: Re: [PATCH] Add support for 4KS cpu.
From: "Maciej W. Rozycki" <>
Date: Tue, 4 Oct 2005 17:01:37 +0100 (BST)
Cc: "Kevin D. Kissell" <>, Ralf Baechle <>,
In-reply-to: <>
Original-recipient: rfc822;
References: <> <> <> <> <> <>
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 


<Prev in Thread] Current Thread [Next in Thread>