config/kernel/bare-metal.in
author Niels Penneman <niels@penneman.org>
Fri Jan 03 10:57:48 2014 +0100 (2014-01-03)
changeset 3269 6bf3336283c2
parent 1030 e5bf882d6514
permissions -rw-r--r--
cc/gcc: fix gcc 4.8 build for C library without threads support

Signed-off-by: Niels Penneman <niels@penneman.org>
Message-Id: <309df93f4354c80e05c9.1388743085@i7sb.local>
Patchwork-Id: 306521
     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?!?!...