#!/bin/sh
# DF-5430 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
vm.sh run_root 'printf "hint.acpi.0.rsdp=0x40000000\n" >> /boot/loader.conf; sync'; vm.sh down; QEMU_EXTRA="-device loader,file=/tmp/madt_bsp_omit.bin,addr=0x40000000,force-raw=on" vm.sh up 110