#!/bin/sh
# DF-2835 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
dfbsd-qemu/vm.sh run_root 'sysctl vm.vkernel_enable=1' && dfbsd-qemu/vm.sh run_user '/tmp/vmsp_abi; echo EXIT=$?' && dfbsd-qemu/vm.sh run_root 'sysctl vm.vkernel_enable=0'