#!/bin/sh
# DF-4653 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh findings/poc/DF-4653/run.sh  (runs the interleaving model ON the guest, then probes for puc hardware)