#!/bin/sh
# DF-5471 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh  (sysctl -w debug.df_kfault=1 walks a chain ending in unmapped kernel VA 0xffffdead00000000; CRASHES the stock guest)