config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu Jan 10 00:27:13 2013 +0100 (2013-01-10)
changeset 3159 fb71cad4b085
parent 1030 e5bf882d6514
permissions -rw-r--r--
arch/arm: OABI is no more, switch to only EABI

Well, leave the prompt as an OBSOLETE thing, scheduled to
be removed soon.

As an indication OABI lives its last days, gcc-4.8 will no
longer recognise non-EABI targets.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     1 # Bare metal config options
     2 
     3 ## select BARE_METAL
     4 ##
     5 ## help 'Bare metal' refers to those programs that run without any kernel.
     6 ## help
     7 ## help You probably want to say 'y' here if you plan to use your compiler
     8 ## help to build bootloaders. It is not yet suitable to build Linux kernels,
     9 ## help though, because the APCI stuff relies on the target C library headers
    10 ## help being available?!?!...