os-kernel/scripts/download

#!/bin/bash
set -e
set -x

cd $(dirname $0)/..

source scripts/build-common

mkdir -p ${ARTIFACTS}
cd ${ARTIFACTS}

if [ ! -e "${KERNEL_TAR}" ]; then
    curl -sL ${KERNEL_URL}${KERNEL_TAR} > ${KERNEL_TAR}
fi
#curl -sL ${KERNEL_URL}${KERNEL_SIGN} > ${KERNEL_SIGN}

# grab gregkh's stable signing key
#GPG_KEY="6092693E"
#set +e
#gpg2 --keyserver hkp://keys.gnupg.net --recv-keys $GPG_KEY
#[ $? -ne 0 ] && echo "gpg2 key sign download failed. trying second mirror"
#set -e
#gpg2 --keyserver hkp://ipv4.pool.sks-keyservers.net --recv-keys $GPG_KEY

#if ! xz -cd ${KERNEL_TAR} | gpg2 --verify ${KERNEL_SIGN} - ; then
#    echo "ERROR: ${KERNEL_TAR} signing error" 1>&2
#    exit 1
#fi
echo "${KERNEL_TAR} probably ok"