Guest: DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 (QEMU/KVM, dfbsd-qemu/vm.sh, snapshot 'with-src' baseline) Kernel source: /usr/src/sys == sys/ tree of this audit (usb_process.c sha256 verified equal to repo copy before patching) Compiler: gcc80 (CCVER=gcc80), DragonFly nativekernel flow Module build: KLD via bsd.kmod.mk (make in /root/dfharness) USB state: device usb compiled in (X86_64_GENERIC); harness drives the production usb_proc_* kernel symbols directly — no USB hardware needed (evidence class: production-code KLD harness, as the DF-5367..DF-5504 family rigs) sysctl hw.usb.debug: 0 Note: guest runs WITHOUT SMAP/SMEP/KASLR (intentionally permissive audit target) — irrelevant here, findings are logic/DoS class.