Regarding implementing sof-firmware in GUIX.

[Ry Pemberton]

Hello,
I have an X1 Carbon (2021) that requires sof-firmware. It is libre software, 
and I believe is included in the linux-libre kernel since 5.2. Is there a way 
to get this firmware working on this laptop with GNU GUIX?

https://www.sofproject.org/
https://www.phoronix.com/scan.php?page=news_item&px=Intel-Sound-Open-Firmware-5.2

Otherwise I fear I'm unable to use this distro as this is the only computer I 
have (I have purchased a libre-firmware wifi usb dongle to offset iwlwifi 
firmware).

Thank you