DragonFlyBSD Kernel Audit
DF-2663 / env.txt
← back to finding ↓ download raw
# env.txt — DF-2663 evidence environment

Recorded from the QEMU/KVM guest used for all DF-2663 runs:

```
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
```

- Kernel: stock `X86_64_GENERIC` (INVARIANTS), booted from the clean-source
  snapshot (`vm.sh reset with-src`).
- Compiler in-guest: gcc80 (`CCVER=gcc80`), `cc` available in /usr/bin.
- hammer2 is the root filesystem (in-kernel, no kmod needed).
- `kldload dm` used for the dm-linear device (module /boot/kernel/dm.ko,
  sys/dev/disk/dm), `dmsetup` at /sbin/dmsetup (gnu/sbin/dmsetup build).
- vn(4) used for vnode-backed test devices (`vnconfig`).
- Relevant sysctls (defaults): vfs.hammer2.cluster_meta_read=1,
  vfs.hammer2.cluster_data_read=4.
- The guest is an intentionally permissive exploitation target.

Kernels built during verification (in-guest `make -j6 nativekernel && make
installkernel`):
- kernel A  = stock + inject2663.diff   (env-simulation only)
- kernel B  = stock + inject2663.diff + fix2663.diff (fix validation)