#!/bin/sh
# DF-4652 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh findings/poc/DF-4652/run.sh  (guest probe: AMD 0x1002 PCI devices absent -> hardware-gated)