⬢ DragonFlyBSD Kernel Audit
DF-3644 / env.txt
← back to finding ↓ download raw
guest uname -a:
  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
kern.osreldate: 600519

GPU/driver state (why the kernel path cannot run here):
  - pciconf -lv | grep -c vendor=0x1002  -> 0   (no AMD GPU at all; virtio-only guest)
  - /dev/dri does not exist
  - kldstat | grep -ci "radeon|drm"      -> 0   (no drm/radeon module loaded; not in X86_64_GENERIC)

The sys/dev/drm/radeon/ci_dpm.c code path requires a Sea Islands (BONAIRE/HAWAII/
KAVERI-class) radeon GPU with a VBIOS whose ATOM power tables are attacker-crafted.
This guest has no such hardware, so the kernel code path is unreachable at runtime;
verification is source-level + on-guest userland logic harness (exact kernel types).