DF-1556 / env.txt
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