DF-5074 — guest gate documentation (stock boot + leak-boot acad-live check)
===========================================================================

Stock guest (before any SSDT experiments):

  $ 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 hw.acpi.acline
  sysctl: unknown oid 'hw.acpi.acline'          <- no ACPI0003 in QEMU DSDT;
                                                   acpi_acad never attaches
  $ dmesg | grep -i acad
  (no matches)

  $ kldstat | head -15
  Id Refs Address                Size Name
   1    5 0xffffffff80200000  1ad8538 kernel       <- acpi compiled in
   2    1 0xffffffff81cd9000    7c288 ehci.ko
   3    1 0xffffffff81d56000    8c778 xhci.ko

  $ kldunload acpi
  kldunload: can't find file acpi: No such file or directory   (rc=1)
  $ which devctl
  (no devctl utility on the guest)

  $ ls -l /dev/acpi
  crw-r--r--  1 root  wheel  23, 0x00000000 ... /dev/acpi

Acad-live check (DF-5073 leak boot — proves acpi_acad CAN attach on this
guest when firmware provides ACPI0003; the teardown gap still needs a
detach, which structurally cannot succeed — see VERDICT.md):

  $ sysctl hw.acpi.acline
  hw.acpi.acline: 0
  $ sysctl -a 2>/dev/null | grep -c "^hw.acpi"
  40