#!/bin/sh
# DF-5650 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh leak3 | ./run.sh fault3 (hint.acpi.0.rsdp=0x40000000 required in guest loader.conf)