Guest: dfbsd-qemu/vm.sh (QEMU/KVM, 4GB, 6 vCPU), single-tenant audit guest Stock kernel (baseline): 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 config: X86_64_GENERIC (INVARIANTS), gcc80, -mindirect-branch=thunk-inline Fixed kernel (validation): DragonFly 6.5-DEVELOPMENT #1: Thu Sep 3 03:11:47 UTC 2026 pristine /usr/src + fix.diff only (2-line guard) Source parity: guest /usr/src md5 == audited repo md5 trap.c fa54899450dc815d52a503319315154e init_sysent.c a58e1fe6a06d2acce88097d691da272d User: maxx (uid 1001, unprivileged) Syscalls: SYS_MAXSYSCALL=556; sysent[0]=sys_xsyscall, sysent[198]=sys_xsyscall libc: /lib/libc.so.8 dynamic (syscall -> rax=198 no-shift stub); /usr/lib/libc.a syscall.o: mov $0,%rax; __syscall.o: mov $198,%rax Rebuild: cd /usr/src && make -j4 nativekernel KERNCONF=X86_64_GENERIC && make installkernel