#!/bin/sh
# DF-5518 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
vm.sh down; QEMU_EXTRA='-device loader,file=gpio_chain.bin,addr=0x40000000,force-raw=on' vm.sh up; kldload gpoke.ko; sleep 25; kldload gpo_race2.ko