Guest: DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64
hw.model: QEMU Virtual CPU version 2.5+; hw.ncpu: 6
cc 8.3 [DragonFly] Release/2019-02-22
DRM state: NO drm device in guest (ls /dev/dri -> ENOENT; kldstat: kernel+ehci+xhci only) -> in-kernel path hardware-gated
Harness location during verification: /tmp/df4197/seqlock_aba.c