> 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
> sysctl -n kern.ident
X86_64_GENERIC
> pciconf -l | wc -l
7
> pciconf -l | grep -cE 'vendor=0x100c|vendor=0x168c'
0
> kldstat | grep -iE 'tl|miibus'
(empty - tl/miibus are compiled into X86_64_GENERIC, not loaded as modules)
> ls /boot/kernel/ | grep -iE '^if_tl|miibus|tlphy'
if_tl.ko
miibus.ko

CONCLUSION: no ThunderLAN (TI vendor 0x100c) and no Atheros (0x168c) PCI
device exists on the audit guest; tlphy_attach / ar5416 DFS code can never
run there. Source-level verification only (see VERDICT.md).