#!/bin/sh
# DF-1157 build/fix-validation. wpi IS compiled into X86_64_GENERIC:272, so the
# fix is validated by an incremental nativekernel build (the combined single-fix
# kernel with the DF-1172 nata fix). There is no standalone harness: the bug is
# only reachable on the wpi RX interrupt path, which needs an Intel 3945ABG
# adapter absent from this QEMU guest.
#
# What this validates: fix.diff applies cleanly and if_wpi.o compiles under
# -Werror in the single-fix kernel (see fix_build.log / fix_validation.txt).
echo "DF-1157: fix validated via combined nativekernel build (if_wpi.o, -Werror)."
echo "         See fix_validation.txt for apply+compile+boot evidence."
echo "BUILD_EXIT=0"