1 2 3 4
#!/bin/sh # DF-3701 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" guest: /tmp/df3701 (plus pciconf/dmesg hardware-gate probes in run.log)