# DF-1197 — emx 2-byte DMA heap overflow (build/run scripts)

Hardware-gated (Intel 82574/82583/ICH8-10 emx NIC). The guest uses virtio-net.
See `VERDICT.md` for source-level confirmation.

## Files
- `VERDICT.md`  — detailed source-level analysis
- `fix.diff`    — git-apply-able patch changing the m_adj predicate
- `env.txt`     — guest environment snapshot
- `fix_build.log` — kernel-build output (cumulative batch)

## build.sh
```sh
#!/bin/sh
echo 'build.sh: no userspace PoC for DF-1197 (hardware-gated driver bug).'
echo 'To validate the fix, apply fix.diff and build a kernel:'
echo '  cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC'
```

## run.sh
```sh
#!/bin/sh
echo 'run.sh: DF-1197 is hardware-gated (Intel 82574/82583 emx NIC).'
echo 'This guest uses virtio-net, not emx.'
echo 'See VERDICT.md for the source-level confirmation.'
```