⬢ DragonFlyBSD Kernel Audit
DF-4106 / env.txt
← back to finding ↓ download raw
DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026  x86_64
  (kernel built from this tree snapshot; vge driver compiled in:
   `device vge` in sys/config/X86_64_GENERIC; options INVARIANTS)

ncpu               : 6
kern.ipc.nmbclusters : 33296
kern.maxproc       : 8132
kern.osreldate     : 600519
compiler           : cc 8.3 [DragonFly] Release/2019-02-22
PCI devices        : virtio only (1af4:1000 net, 1af4:1001 blk) + Intel-emulated
                     chipset; NO VIA 1106:3053 (VT612x) — driver has no device
                     to attach to; its static handlers live in the kernel image.

production handler symbols in /boot/kernel/kernel (stock kernel):
  ffffffff808d2680 t vge_rxeof
  ffffffff808d2480 t vge_newbuf
  ffffffff808d2d60 t vge_dma_map_addr
  (vge_rx_list_init / vge_dma_free are inlined by the kernel build)

rig                : /root/df4106 in guest; KLD df4106_vge_poc.ko
                     (24KB, no driver code — dispatches the kernel's
                     own handlers at the nm-resolved addresses)