#!/bin/sh
# DF-4819 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh          # static proof (6x PASS)
sh check_shrinker_wiring.sh --module /boot/kernel/i915.ko   # guest binary proof