This variable can be set to the absolute pathname of a kernel .deb to
use. It will be used only for hosts for which the corresponding
hostflag "need-kernel-deb-<suite>-special" is set.
There is not currently any facility for more than one special kernel
for each architecture.
As with backports kernels, the normal (Debian-supplied) kernel is
available too, and is used for hosts without any special hostflag.
Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
wheezy_armhf) bpok=armmp; need_initramfs=y;;
jessie_arm64) bpok=arm64 ;;
esac
-if [ x$bpok != x ]; then
+eval "specialdeb=\${OSSTEST_SPECIALKERNELDEB_${suite}_${arch}}"
+if [ "x$specialdeb" != x ]; then
+ echo "using special kernel $specialdeb"
+ cp $specialdeb special.deb
+ specialkernel=special
+ bpok=''
+fi
+if [ x$bpok != x ] && [ "x$specialkernel" = x ]; then
bp="$sbase-backports"
pfile=$bp/main/binary-$arch/Packages.gz