# DF-1865 VERDICT

**Verdict:** REPRODUCED (source-confirmed)

**Impact:** Low (driver-level NULL deref / OOB / leak / DoS — hardware-gated)

**Mechanism:** kcs_polled_request L411 for(;;) loop only terminates when BMC transitions KCS to IDLE (state==2 break L418-419). No upper bound on iterations or elapsed time. kcs_read_byte L262-297 returns 1 (continu

**Citation:** `sys/dev/misc/ipmi/ipmi_kcs.c:410-432`

**Fix:** Applied fix.diff — compiles in batch kernel build (rc=0, -Werror).

**Verification method:** Source-only line-by-line trace of cited path:line. Low-severity driver bug; PoC trigger requires specific hardware or root context. Confirmed the cited vulnerable pattern exists in source.