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
cc 8.3 [DragonFly] Release/2019-02-22
kern.version: DragonFly 6.5-DEVELOPMENT #0
Guest kernel under test: X86_64_GENERIC (real kernel; vkernel64 path verified
  by source inspection + single-file VKERNEL64 compile of busdma_machdep.c).
vkernel64 build attempt: full nativekernel KERNCONF=VKERNEL64 progressed and
  compiled busdma_machdep.o cleanly, but failed at link with
  '__build_id_start/__build_id_end' undefined (kern_mib.c:111,132) — a known
  vkernel-build toolchain issue unrelated to this finding. Single-file
  recompile of the patched busdma_machdep.c succeeds (rc=0, .o produced).