#!/bin/sh
# host-side attack run: dfbsd-qemu/vm.sh run_root 'sh /root/poc/df2707/run_df2707.sh attack 3 24'
# (kernel must be non-INVARIANTS; see README.md for the in-guest build)
dfbsd-qemu/vm.sh run_root 'sh /root/poc/df2707/run_df2707.sh attack 3 24'
echo RUN_RC=$?
dfbsd-qemu/vm.sh log 60   # serial console: expect Fatal trap 12 in RB_REMOVE_COLOR