DragonFlyBSD Kernel Audit
DF-0018 / env.txt
← back to finding ↓ download raw
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).