#!/bin/sh
# Build kernel A (stock + inject.diff) in the guest's /usr/src copy.
# inject.diff lives in /root/df2644/inject.diff (guest).
set -e
cd /usr/src
patch -p1 --dry-run < /root/df2644/inject.diff
patch -p1 < /root/df2644/inject.diff
make -j6 nativekernel KERNCONF=X86_64_GENERIC
make installkernel KERNCONF=X86_64_GENERIC
echo KERNEL_A_INSTALLED