#!/bin/sh
# DF-5619 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
QEMU_EXTRA='-machine accel=tcg -cpu SandyBridge -device loader,file=/tmp/opencode/cst_nullenter.bin,addr=0x40000000,force-raw=on' vm.sh up 240  (see run.sh)