== (0) guest ==
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
== (1) bios_sigsearch is a live symbol in /boot/kernel/kernel ==
ffffffff80c19220 T bios_sigsearch
(no bios16/bios32 symbols expected:)
  none - pc64 bios.c provides only bios_sigsearch (stub comment at bios.c:30-34)
== (2) reachability: ipmi(4) is module-only and not loaded ==
  ipmi not loaded (kldstat -v)
-r-xr-xr-x  1 root  wheel  1031960 Jun 29 14:24 /boot/kernel/ipmi.ko
0
  ipmi NOT compiled into X86_64_GENERIC => bios_sigsearch does not run at boot
  no /dev/ipmi* node
== (3) the scanned window 0xe0000-0xfffff (firmware data, mapped) ==
-- first 16 bytes at 0xf0000 (dd bs=16 skip=61440 = 0xf0000/16) --
00000000  43 24 83 c4 20 5b 5e 5f  5d c3 55 57 56 53 83 ec  |C$.. [^_].UWVS..|
00000010
-- "_SM_" / "_DMI_" / SeaBIOS anchors inside 0xf0000-0x100000 --
00011020  53 44 50 00 5f 44 4d 49  5f 00 53 4d 42 49 4f 53  |SDP._DMI_.SMBIOS|
000159c0  5f 53 4d 5f 28 1f 02 08  51 00 00 00 00 00 00 00  |_SM_(...Q.......|
000159d0  5f 44 4d 49 5f 48 a5 01  e0 59 0f 00 0a 00 28 00  |_DMI_H...Y....(.|
000159f0  00 00 00 04 00 00 ff ff  53 65 61 42 49 4f 53 00  |........SeaBIOS.|
== (4) no SMBIOS/ipmi consumers active in this boot ==
  no smbios sysctl on pc64 (sole consumer is ipmi_smbios.c)
== done ==