#!/bin/sh
# DF-1210 — no userspace build (device-controlled AHCI register; no syscall reaches it).
echo "[DF-1210] no userspace object to build (trigger is the AHCI CCS hardware register)."
echo "[DF-1210] fix.diff compile-validated into the GENERIC kernel (see fix_build.log)."