#!/bin/sh
# DF-2495 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload dfrig_ata.ko; sysctl kern.dfrig_ata_test=3 (rig proof: production parse + production ata_raid_status 1912 bytes past the 152-byte ioctl buffer, 12/24 guards smashed); then the real-kernel arm: sysctl kern.dfrig_ata_test=7 && ./df2495_status 0 (REAL /dev/ata ioctl returns total_disks=255 = all 255 iterations executed in the real kernel)