⬢ DragonFlyBSD Kernel Audit
DF-5620 / env.txt
← back to finding ↓ download raw
guest env for DF-5619/DF-5620 verification (2026-10-08)

stock (baseline panic) kernel:
  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
  config: /usr/src/sys/config/X86_64_GENERIC:56 -> options INVARIANTS  (KASSERTs live)

non-INVARIANTS kernel (noinv-installed snapshot, production shape):
  /boot/kernel/kernel dated Jul  3 17:33; `strings | grep -c "enter is not set"` == 0

fix-validation kernel:
  DragonFly 6.5-DEVELOPMENT #1: Thu Oct  8 20:54:15 UTC 2026
  root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
  built with: cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC  (rc=0, 322.91s, 0 errors/warnings)

QEMU: qemu-system-x86_64 7.2.22 (Debian), -enable-kvm base + QEMU_EXTRA
  "-machine accel=tcg -cpu SandyBridge" (GenuineIntel; CPUID.01H:ECX.MON and
  CPUID.05H:ECX.EXT are NOT advertised by this QEMU under TCG -- see
  DF-5620/mwaitforce.c), 6 vCPU, 4GB, virtio disk/net, serial -> boot.log
  loader.conf additions: hint.acpi.0.rsdp=0x40000000, boot_verbose=YES
  (DF-5620 runs additionally: mwaitforce_load=YES)

ACPI rig: RSDP->RSDT->[FACP->FACS+DSDT, MADT] blob planted at 0x40000000 via
  -device loader,file=/tmp/opencode/cst_*.bin,addr=0x40000000,force-raw=on
  (chain generator gen_cst.py, DSDT generator mkdsdt.py; iasl 20251212 on guest)

DSDT: 6x Processor(C000..C005) each carrying the scenario _CST; FADT clone
  carries QEMU PM1a/PM_TMR/GPE0 blocks; P_LVL2/3_LAT=0xfff; Pm2ControlBlock=0
  (=> ACPI_CST_QUIRK_NO_C3 for the zerostate resurrection path).