#!/bin/sh
# DF-2688 seed run script (UNVERIFIED — see VERDICT.md for why this was not
# executed on the audit guest: Low/speculative finding, non-deterministic
# timing race, requires intentional total swap exhaustion).
#
# Success criterion if ever run: panic backtrace containing
# dfly_resetpriority <- vm_pageout_scan_cache, from an unprivileged user,
# on a fresh snapshot with swap configured.
set -e
cc -O2 -o df2688_trigger df2688_trigger.c
id -u   # must NOT be 0
./df2688_trigger