the Debian kernel doesn't include any non-free firmware (bugs aside), but it allows users to load non-free firmware if they wish to do so; the Linux-libre kernel doesn't include any non-free firmware or anything looking like firmware, and it prevents users from loading non-free firmware even if they wish to do so. Linux-libre is built by running a deblob script on the kernel source code. This goes through the kernel source code, and makes various firmware-related changes:
any firmware for which source code is available is preserved, but the script makes sure the source code is available;
any module requiring firmware is stripped of the ability to load the firmware;
any source code which looks like firmware (sequences of numbers) is removed;
any file containing only firmware (e.g. the contents of firmware/radeon) is removed.
[^] # Re: Similaire à NixOS
Posté par karteum59 (site web personnel) . En réponse à la dépêche GNU Guix 1.2.0 est publié. Évalué à 5.
Je lis ici