#!/bin/sh
# On the guest (as maxx): build the KLD driver
# (kernel rebuilds for the injector/fix kernels are documented in VERDICT.md;
#  kernel_instrumented.c / kernel_fixed.c replace sys/kern/kern_slaballoc.c
#  and are built with: cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC && make installkernel KERNCONF=X86_64_GENERIC)
cd ~/slabstrand
printf 'KMOD=slabstrand\nSRCS=slabstrand.c\n\n.include <bsd.kmod.mk>\n' > Makefile
make
cc -O2 -o hammer hammer.c