# DF-1200 — radeon unvalidated BIOS power-table indices (build/run scripts)

Hardware+config-gated (AMD/ATI GPU + radeon.ko). radeon is not in GENERIC and
no AMD GPU is present on this guest. See `VERDICT.md`.

## Files
- `VERDICT.md`  — detailed source-level analysis
- `fix.diff`    — git-apply-able patch validating u8 indices against ucNumEntries
- `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-1200 (driver-gated).'
echo 'To validate the fix, apply fix.diff and build a kernel + modules:'
echo '  cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC'
```

## run.sh
```sh
#!/bin/sh
echo 'run.sh: DF-1200 is hardware-gated (AMD/ATI GPU + radeon.ko).'
echo 'radeon is not in GENERIC and no AMD GPU is present on this guest.'
echo 'See VERDICT.md for the source-level confirmation.'
```