#!/bin/sh
echo "DF-1039: documentation-only PoC (no PCMCIA HW on this guest)"
echo "Bug is code-confirmed in sys/bus/pccard/pccard.c; no compilation needed."
exit 0