config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jan 06 18:42:41 2010 +0100 (2010-01-06)
changeset 1696 f04fb2d52023
parent 890 6227df6bbb79
child 2444 896cb0d36c1a
permissions -rw-r--r--
complibs/mpfr: add latest version 2.4.2

Note: the MPFR site happens to be down at the time I wrote
this message, and happens to be down quite often.

Once it's back up'n'runnin', I'll mirror as much as possible
the MPFR tarballs on my site, but in the meantime, you'll
have to handle it by yourself (patience...).
yann@861
     1
# Bare metal config options
yann@861
     2
yann@861
     3
config KERNEL_bare_metal
yann@861
     4
    select BARE_METAL
yann@861
     5
    help
yann@883
     6
      'Bare metal' refers to those programs that run without any kernel.
yann@861
     7
      
yann@861
     8
      You probably want to say 'y' here if you plan to use your compiler
yann@883
     9
      to build bootloaders. It is not yet suitable to build Linux kernels,
yann@883
    10
      though, because the APCI stuff relies on the target C library headers
yann@883
    11
      being available?!?!...