#!/bin/sh
# host-side: push sources, build in guest (also builds the non-INVARIANTS
# kernel when KERN=NOINV)
scp -F dfbsd-qemu/config findings/poc/DF-2707/df2707_trigger.c \
                      findings/poc/DF-2707/run_df2707.sh dfbsd:/root/poc/df2707/
dfbsd-qemu/vm.sh run_root 'mkdir -p /root/poc/df2707; cc -O -I/usr/src/sys -o /root/poc/df2707/df2707_trigger /root/poc/df2707/df2707_trigger.c 2>&1 | tee /root/poc/df2707/build.log; echo CC_RC=$?'