config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Oct 15 08:08:02 2008 +0000 (2008-10-15)
changeset 937 12e98d88cf09
parent 883 927b30e32709
child 1030 e5bf882d6514
permissions -rw-r--r--
Fix configure's --with-contrib option.

/trunk/configure | 4 2 2 0 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
     1 # Bare metal config options
     2 # EXPERIMENTAL
     3 
     4 config KERNEL_bare_metal
     5     select BARE_METAL
     6     help
     7       'Bare metal' refers to those programs that run without any kernel.
     8       
     9       You probably want to say 'y' here if you plan to use your compiler
    10       to build bootloaders. It is not yet suitable to build Linux kernels,
    11       though, because the APCI stuff relies on the target C library headers
    12       being available?!?!...