#!/bin/sh
# DF-3513 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh (guest, root): kldload modules; ./poc_leak 20000