== kernel == DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Thu Sep 10 20:30:33 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 == pre counters == 1 discarded for bad header offset field 1 discarded because packet too short == PoC A: gif_ihl15 (baseline: panic total length incl header) == rc=0 guest still up == PoC B: gif_tcp_off15 (baseline: panic bad TCP data offset) == rc=0 guest still up == post counters == 2 discarded for bad header offset fields 2 discarded because packet too short 0 with bad options == serial console tail == Module if_gif failed to register: 17 module_register: module if_gif already exists! Module if_gif failed to register: 17 # [earlier same-kernel runs, from the ssh transcript] # built: gif_ihl15 gif_tcp_off15 # ---RUN-A--- sh run.sh gif_ihl15 # gif0: flags=808051 metric 0 mtu 1280 # tunnel inet 10.99.0.1 --> 10.99.0.2 # wrote 102/102 bytes to tap0 (expect panic: "total length incl header" at ip_input.c:575) # RC-A=0 GUEST-UP # ---RUN-B--- sh run.sh gif_tcp_off15 # wrote 74/74 bytes to tap0 (expect panic: "bad TCP data offset 60 (tlen 20)" in tcp_input via gif decap) # GUEST-UP # 1 discarded for bad header offset field / 1 discarded because packet too short # # Kernel build: cd /usr/src && make -j 8 nativekernel KERNCONF=X86_64_GENERIC # >>> Kernel build for X86_64_GENERIC completed on Thu Sep 10 20:33:29 UTC 2026 # + make installkernel KERNCONF=X86_64_GENERIC -> /boot/kernel/kernel Sep 10 20:42 # reboot -> #1: Thu Sep 10 20:30:33 UTC 2026