The GNU Guix project announced today they are planning to deprecate support for the Linux kernel. Their Guix 1.1 target would be the last supporting Linux-libre and by Guix 2.0 they would potentially be removing their Linux kernel entirely but still allowing “foreign” distributions to support it on a best-effort basis.