GNU Guix Wants To Replace The Linux-Libre Kernel With The Hurd Micro-Kernel

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.