config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Thu Dec 27 12:53:32 2012 +0100 (2012-12-27)
changeset 3153 f6740f9e42de
parent 1030 e5bf882d6514
permissions -rw-r--r--
scripts/addToolsVersion: handle elf2flt

The one was missing from the list.

It is very improbable that we ever need it, as elf2flt does no release,
and we always get it from CVS head. But for the sake of consistency, we
just add it.

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