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>
     1 source "config/configure.in"
     2 source "config/backend.in"
     3 source "config/global.in"
     4 source "config/target.in"
     5 source "config/toolchain.in"
     6 source "config/kernel.in"
     7 source "config/binutils.in"
     8 source "config/cc.in"
     9 source "config/libc.in"
    10 source "config/debug.in"
    11 source "config/companion_libs.in"
    12 source "config/companion_tools.in"
    13 source "config/test_suite.in"