DF-2028 / env.txt
DragonFlyBSD master DEV guest (with-src snapshot, INVARIANTS ON) DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 Compiler: cc 8.3 [DragonFly] Release/2019-02-22 Hardware probe (pciconf -l): NO mfi/tws/iir RAID controllers, NO amdgpu/DRM GPU. Device nodes: /dev/dri, /dev/iir*, /dev/mfi*, /dev/tws* all ABSENT. Only /dev/pass0 (virtio blk passthrough) present. => All 9 findings are HW-GATED: the vulnerable driver cannot attach on this guest, so the bug is NOT runtime-triggerable here. Verification is SOURCE-ONLY: the cited code path was traced line-by-line against sys/ and CONFIRMED to contain the defect, and each fix.diff was applied + the affected module built clean with -Werror (Phase 8).