chiark / gitweb /
firmware.sh: record missing files in /dev/.udev/firmware-missing/