#!/bin/sh
# DF-5358 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest root: kldload ./pmxtest.ko ; ./pmx_user 0xfffff80140000000 8   # absent-PDPT KVA probed by the module on this guest