# DF-4396 verification environment (audit QEMU/KVM guest)
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

# hardware gate: the parse path requires an AMD Vega10 ASIC; this guest has none
no AMD PCI device 0x1002 (pciconf -lv)
/dev/dri: No such file or directory
no drm/amdgpu kernel module loaded

# verbatim fidelity: guest /usr/src is the tree its running kernel was built from
guest /usr/src/sys/.../vega10_processpptables.c sha256:
  da694729ad1652be... (da694729ad1652b91d369f5e8cf30b979322b36c53f78e4dc266faa25e06aa77)
host audit-tree sys/.../vega10_processpptables.c sha256:
  da694729ad1652b91d369f5e8cf30b979322b36c53f78e4dc266faa25e06aa77  (IDENTICAL)
check_verbatim.sh on the guest: 23/23 VERBATIM blocks identical to /usr/src/sys
  (incl. the full parser body vega10_processpptables.c:34-1326),
  pp_slice_fixed.inc == pristine file + fix.diff (fuzz=0), reverse-apply restores pristine.