dfet0: WARNING!! ring 1, buf_idx 1, rr_idx 0
dfet0: WARNING!! ring 1, buf_idx 2, rr_idx 0
dfet: S1: delivered=0 oob_events=0 ipackets=0 ierrors=3 (MHLEN=248 MCLBYTES=2048; claimed buflen=60000)
dfet: S1: frames DROPPED with ierrors (fix shape observed - length validated/clamped)
dfet: S2: if the guest PANICS with KKASSERT "tbd_used > 0" (if_et.c:2050), DF-4056-TX is proven
dfet0: invalid TX done index 600
dfet: S2: et_txeof RETURNED (tbd_used=1) - no panic, index validated: fix shape observed