⬢ DragonFlyBSD Kernel Audit
DF-4162 / env.txt
← back to finding ↓ download raw
Guest (post-reset, clean-source snapshot):
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

GPU: virtio VGA only (vgapci0@pci0:0:2.0 class=0x030000 chip=0x11111234) -- ZERO AMD/ATI (0x1002) PCI devices
     sysctl hw.drm -> unknown oid (no radeon/drm device attached)
Guest source /usr/src/sys/dev/drm/radeon/radeon_pm.c md5 = 962543e6e0739668ac24e0b255a44b61
Audited tree sys/dev/drm/radeon/radeon_pm.c   md5 = 962543e6e0739668ac24e0b255a44b61   (MATCH)

=> radeon_pm.c DPM paths are hardware-gated on this guest: no radeon GPU, no
   VBIOS to craft. Per family convention (DF-3610..DF-4144) the finding is
   source-certain / runtime-inconclusive; fix.diff is validated by
   git apply --check only.