#!/bin/sh
# DF-5007 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload /root/df5007/hangsim.ko; sh run.sh   (ARM1 control proves the 0.5s discard timer recovers; ARM2: non-owner read returns EPERM but disarms the timer; victim write(2) hangs forever and survives SIGKILL; POC_RC=42; guest stays up)