config/libc/none.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
branch1.12
changeset 2685 86010f887870
parent 1591 11460fc587e6
permissions -rw-r--r--
kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 7df89370f80537d1b36b2fda70e3a1c6bc237a65)
yann@1591
     1
# Dummy config file to not use a C library *at all*
yann@1591
     2
yann@2444
     3
## depends on BARE_METAL
yann@2444
     4
##
yann@2444
     5
## help Do not use a C library.
yann@2444
     6
## help
yann@2444
     7
## help This is usefull if your project is self-contained, does not rely on
yann@2444
     8
## help an external C library, and provides all the necessary bits.
yann@2444
     9
## help
yann@2444
    10
## help Most probably usefull to bootloaders, as they generally don't depend
yann@2444
    11
## help on the C library.
yann@2444
    12
## help
yann@2444
    13
## help If unsure: do *not* choose that, and use another option in the choice.