⬢ DragonFlyBSD Kernel Audit
DF-3279 / env.txt
← back to finding ↓ download raw
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
       6 vCPUs (qemu-system-x86_64 -enable-kvm -m 4096 -smp 6)
       stock kernel, KASSERTs active (panics on bridge_delete_span KASSERT)
       if_bridge compiled in; /boot/kernel/ipfw.ko + ipfw3.ko available
       interfaces at audit start: vtnet0 lo0; tap/bridge via cloners
Audit tree: sys/net/bridge/if_bridge.c byte-identical to DragonFlyBSD
       master (verified by diff against raw.githubusercontent.com)
Fixed kernel for validation: DragonFly 6.5-DEVELOPMENT #1: Thu Sep 10
       00:48:01 UTC 2026 (fix_all.diff: DF-3276+DF-3277+DF-3279)
Compiler: cc (gcc80) guest base; PoCs built with -O -Wall