#!/bin/sh
# DF-1213 — no userspace build (device-controlled vmxnet3 completion ring; no syscall path).
echo "[DF-1213] no userspace object to build (trigger is device-written rxcd->rxd_idx)."
echo "[DF-1213] fix.diff compile-validated into the GENERIC kernel (see fix_build.log)."