config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Jan 01 17:09:52 2010 +0100 (2010-01-01)
changeset 1673 ecb7fcc4edb0
parent 890 6227df6bbb79
child 2444 896cb0d36c1a
permissions -rw-r--r--
scripts/functions: fix downloading with aria2

In case the remote file does not exist (and probably for some
other reasons as well), aria2 nonetheless creates an empty file
(or not empty for some other reasons).

The solution is to delete the file whenever aria2 fails.
     1 # Bare metal config options
     2 
     3 config KERNEL_bare_metal
     4     select BARE_METAL
     5     help
     6       'Bare metal' refers to those programs that run without any kernel.
     7       
     8       You probably want to say 'y' here if you plan to use your compiler
     9       to build bootloaders. It is not yet suitable to build Linux kernels,
    10       though, because the APCI stuff relies on the target C library headers
    11       being available?!?!...