#!/bin/sh
set -e
cd "$(dirname "$0")"
echo "DF-0239: resume_kproc declared in sys/sys/kthread.h:56 but never defined."
echo "         kproc_suspend_loop waits forever on TDF_MP_WAKEREQ."
echo "         (ACPI/USB suspend -> permanent daemon freeze). See VERDICT.md."