config/kernel/bare-metal.in
author "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Mon Dec 17 17:13:27 2012 +0100 (2012-12-17)
changeset 3138 b5b389a84f48
parent 1030 e5bf882d6514
permissions -rw-r--r--
cc/gcc: update Linaro GCC revisions to 2012.12

Update Linaro GCC with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <acf52a6302c475ff850e.1355760853@advdt005-ubuntu>
Patchwork-Id: 206905
     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?!?!...