Guest host kernel : DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 (X86_64_GENERIC) x86_64, QEMU/KVM
vkernel binary    : /usr/obj/usr/src/sys/VKERNEL64/kernel.debug
                    (nativekernel VKERNEL64 + manual relink:
                     cc ... -o kernel.debug <objs> vers.o -pthread
                       -Wl,--defsym,__build_id_start=0 -Wl,--defsym,__build_id_end=0
                     workaround for VKERNEL64 link regression: kern_mib.c __build_id_*
                     vs platform/vkernel64/conf/Makefile:23 userspace-style SYSTEM_LD)
vkernel flags      : -m 512m -r /vkroot.img -n 2 -e init_path=/bin/vkinit -s
host prereqs       : sysctl vm.vkernel_enable=1 ; mkdir /var/vkernel
measured layout    : CPU_prvspace = 0x8000400000 ; ncpus = 2
                     sizeof(struct privatespace) = 0x8000 (32KB) -> window 8MB
                     live pages: 0..15 (slots 0,1); first dead page 0x8000500000
kernel_map         : static struct at 0xf15680; min_addr=0x8000000000 max_addr=0x1000000000000, nentries=0x37
DDB notes          : no symbol table (kdb_init #if 0 in init.c) -> raw nm addresses;
                     input radix 16 -> args must be 0x-hex (decimal args caused probe
                     v3's artifact panic); db_fncall prints values in hex.