scripts/build/kernel/bare-metal.sh
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 965 45ddf096def1
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@861
     1
# This file declares functions for bare metal kernel (IE. none)
yann@861
     2
# Copyright 2008 Yann E. MORIN
yann@861
     3
# Licensed under the GPL v2. See COPYING in the root of this package
yann@861
     4
yann@965
     5
CT_DoKernelTupleValues() {
yann@965
     6
    # For bare-metal, there is no kernel part in the tuple
yann@965
     7
    CT_TARGET_KERNEL=
yann@965
     8
}
yann@965
     9
yann@861
    10
do_kernel_get() {
yann@861
    11
    :
yann@861
    12
}
yann@861
    13
yann@861
    14
do_kernel_extract() {
yann@861
    15
    :
yann@861
    16
}
yann@861
    17
yann@861
    18
do_kernel_headers() {
yann@861
    19
    :
yann@861
    20
}