DF-0018 / env.txt
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
config: X86_64_GENERIC (default; ships options INVARIANTS -> KKASSERT compiled in)
cc: cc (DragonFlyBSD) 8.3 [commit 53e9869f1e from Thu Jul 2 06:02:54 UTC 2026]
preconditions:
- reachability: kdmsg/DMSG protocol (HAMMER2 cluster / disk cluster via
DIOCRECLUSTER / xdisk). No privilege boundary for an unprivileged user
(maxx uid 1001 not in operator); the threat model is "a peer with
cluster-link access" (root-equivalent), which this run exercises via
kldload of an in-kernel harness.
- kernel build: in-guest make nativekernel KERNCONF=X86_64_GENERIC against
/usr/src (warm obj at /usr/obj/usr/src/sys/X86_64_GENERIC).
postconditions:
- /usr/src/sys/kern/kern_dmsg.c reverted to baseline at end of run
(vm.sh reset with-src).