#!/bin/sh
# DF-0019 PoC (original — minimal sysctl-only trigger, kept for reference).
# This version only writes the sysctl; it does NOT switch to the bsd4
# scheduler first, so it will NOT trigger the panic on a default dfly-scheduler
# kernel. Use df0019.c / run.sh for the working trigger.
set -e
echo "[*] current queue_checks: $(sysctl -n kern.usched_bsd4.queue_checks)"
echo "[*] cache_coherent: $(sysctl -n kern.usched_bsd4.cache_coherent 2>/dev/null || echo '?')"
echo "[*] setting queue_checks=0 (root)..."
sysctl kern.usched_bsd4.queue_checks=0
echo "[*] queue_checks now: $(sysctl -n kern.usched_bsd4.queue_checks)"
echo "[*] NOTE: on a default dfly-scheduler kernel, the bsd4 code path is"
echo "    dormant. Use df0019 (run.sh) which calls usched_set(bsd4) first."