#!/bin/sh
# DF-5649 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh (see README.md; requires hint.acpi.0.rsdp=0x40000000 in guest loader.conf)