config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 09 00:02:01 2009 +0200 (2009-09-09)
changeset 1525 4647e6fb994a
parent 890 6227df6bbb79
child 2444 896cb0d36c1a
permissions -rw-r--r--
gcc: add patch to fix EABI for armv4t

As pointed out by Martin GUY, gcc incorrectly generates armv5t
instrcutions for EABI, even for cores that are an armv4t.
The new patch (for the 4.3 series) fixes the problem by downgrading
the default CPU for EABI to being an armv4t core.
     1 # Bare metal config options
     2 
     3 config KERNEL_bare_metal
     4     select BARE_METAL
     5     help
     6       'Bare metal' refers to those programs that run without any kernel.
     7       
     8       You probably want to say 'y' here if you plan to use your compiler
     9       to build bootloaders. It is not yet suitable to build Linux kernels,
    10       though, because the APCI stuff relies on the target C library headers
    11       being available?!?!...