DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:52:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64
Guest GPU inventory:
  /dev/dri: No such file or directory
  vgapci0@pci0:0:2:0: class=0x030000 card=0x11001af4 chip=0x11111234 rev=0x02 (QEMU virtual VGA, no drm driver)
  kldstat: no drm/amd/radeon/i915 modules loaded
=> amdgpu DC unreachable on this guest; kernel-path verification impossible (untested).
Guest /tmp artifacts removed after the logic-proof run.