scripts/toolchain-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 1189 |
5c20d52c8270
|
| 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>