DragonFlyBSD Kernel Audit
DF-1557 / env.txt
← back to finding ↓ download raw
DragonFly 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
sysctl kern.version = DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026
cc                  = cc 8.3 [DragonFly] Release/2019-02-22
vm.randomize_mmap   = 0   (KASLR OFF)
PCI devices         = virtio_pci0 (net), virtio_pci1 (blk) only
LSI SAS HBA         = ABSENT — mps(4) is compiled into X86_64_GENERIC
                        (sys/config/X86_64_GENERIC:92  "device mps")
                        but never attaches because the guest has no
                        matching PCI device (vendor 0x1000 LSI / Symbios).
                        Therefore the live mps_wd_config_pages() code path
                        cannot be triggered on this guest; both findings
                        are verified by source trace + userspace harness
                        reproducing the exact kernel C logic.

Patched-kernel build (Phase 8):
  kern.version (patched)  = DragonFly 6.5-DEVELOPMENT #1: Sat Jul 18 02:40:00 UTC 2026
  sha256 (kernel.stripped)= 7a3b1de7638f61e222b9755761d86a69d724905e787edf98dac07de18d970b0c
  build                   = make -j6 nativekernel KERNCONF=X86_64_GENERIC (from /usr/src)
  rc                      = 0 (NK_DONE), zero warnings/errors with -Werror