⬢ DragonFlyBSD Kernel Audit
DF-4056 / run_tx.sh
← back to finding ↓ download raw
1
2
3
4
5
6
#!/bin/sh
# DF-4056 (TX half) - run S2 alone: REAL et_txeof with ET_TX_DONE_POS
# index 600 (unreachable: 10-bit field vs ET_TX_NDESC=512).
# EXPECT stock kernel: KKASSERT panic "tbd_used > 0" (if_et.c:2050).
set -e
sh /root/dfet/run.sh 2