/pkgs/os-specific/linux/firmware/
../
b43-firmware-cutter
b43-firmware
facetimehd-firmware
firmware-linux-nonfree
fwupd
fwupdate
intel2200BGFirmware
raspberrypi
rt5677
rtl8723bs-firmware
rtlwifi_new-firmware
zd1211