Hello Tobias,
> * gnu/packages/firmware.scm (sof): New public variable. Thanks for the package definition. Last time I checked, some devices required signed firmware: --8<---------------cut here---------------start------------->8--- The firmware file, /lib/firmware/intel/sof/sof-tgl.ri, contains all DSP code and tables. On PCI devices, the firmware can only be signed by an Intel production key which prevents community users from installing their own firmware. Notable exceptions include Google Chromebooks and Up2/Up-Extreme boards, where the community key is used. --8<---------------cut here---------------end--------------->8--- I'm not sure what's the point of letting users build their firmware if it cannot be loaded. Looks like multiple projects are in fact packaging the signed sof firmware, which is non-free[2]. Thanks, Mathieu [1]: https://thesofproject.github.io/latest/getting_started/intel_debug/introduction.html [2]: https://packages.debian.org/search?keywords=firmware-sof-signed
