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
Guest: dfbsd-qemu/vm.sh (QEMU/KVM, vtnet console NIC)

# Driver/module presence check (run 2026-09-19, run via vm.sh run_root):
$ ifconfig -l
vtnet0 lo0
$ kldstat -v | grep -i "sn\|smc"
		154 pccard/if_sn        <- module *available* in the module tree, NOT loaded
$ pciconfig -l | grep -ci smc
0

Conclusion: the guest kernel has no sn(4) interface and no SMC91xx hardware
(no PCMCIA slot). if_sn.c is built only as the `optional sn` module
(sys/conf/files:1247) with a pccard-only front-end (if_sn_pccard.c).
The DF-4354 / DF-4355 code paths cannot execute on this machine ->
verdict status "untested" (hardware-gated), source-level certainty documented
in VERDICT.md.