Yann E. MORIN" 6f31c85b0c 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)

2011-09-21 22:42:35 +02:00

..

bare-metal.sh

Get rid of all stuff related to building a /delivery' traball:

2009-01-03 21:11:41 +00:00

linux.sh

kernel/linux: add alternate download locations

2011-09-21 22:42:35 +02:00

mingw32.sh

libc/mingw: fix mingw source dirs

2011-08-01 00:16:12 +02:00