#!/bin/sh
# DF-5579 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest# sysctl vm.vkernel_enable=1; mkdir -p /var/vkernel; sh run.sh   # boots kernel.debug -m 512m -r /vkroot.img -n 1, runs control then trigger