⬢ DragonFlyBSD Kernel Audit
DF-5074 / env.txt
← back to finding ↓ download raw
Guest (audit QEMU/KVM target, snapshot-booted):
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

iasl: Intel ACPI Component Architecture ASL+ Optimizing Compiler/Disassembler version 20251212 (guest /usr/sbin/iasl)
cc:  gcc (DragonFly) dflly-style build, cc -O (guest)

Boot configuration for evidence:
  control : QEMU_EXTRA="-acpitable file=ssdt_acad_sane.aml"
  trigger : QEMU_EXTRA="-acpitable file=ssdt_acad_leak.aml"

Stock guest: no ACPI0003 in QEMU DSDT -> hw.acpi.acline absent; /dev/acpi is
crw-r--r-- root:wheel (ioctls privileged); acpi compiled into kernel (kldunload
acpi -> "can't find file"); VGA = Red Hat 0x1111:1234 (no AMD GPU).

Unprivileged reader identity (run_user): uid=1001 euid=1001.