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.
yann@861
     1
# Bare metal config options
yann@861
     2
yann@861
     3
config KERNEL_bare_metal
yann@861
     4
    select BARE_METAL
yann@861
     5
    help
yann@883
     6
      'Bare metal' refers to those programs that run without any kernel.
yann@861
     7
      
yann@861
     8
      You probably want to say 'y' here if you plan to use your compiler
yann@883
     9
      to build bootloaders. It is not yet suitable to build Linux kernels,
yann@883
    10
      though, because the APCI stuff relies on the target C library headers
yann@883
    11
      being available?!?!...