config/config.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
changeset 2677 7df89370f805
parent 2481 30644208c955
child 3313 ad14212ebf54
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>
yann@2481
     1
source "config/configure.in"
yann@1870
     2
source "config/backend.in"
yann@1870
     3
source "config/global.in"
yann@1870
     4
source "config/target.in"
yann@1870
     5
source "config/toolchain.in"
yann@1870
     6
source "config/kernel.in"
yann@1870
     7
source "config/binutils.in"
yann@1870
     8
source "config/cc.in"
yann@1870
     9
source "config/libc.in"
yann@1870
    10
source "config/debug.in"
yann@1870
    11
source "config/companion_libs.in"
yann@1870
    12
source "config/companion_tools.in"
mgl@1965
    13
source "config/test_suite.in"