From 8ddc11002fce11df9ce079088bf814305339a282 Mon Sep 17 00:00:00 2001
From: Francis Rowe
- GNU Hurd is the microkernel developed by + GNU Hurd is a microkernel developed by the GNU project, and was (still is) intended to be the kernel for the GNU operating system. For historical reasons, Linux became the primarily adopted kernel (the libreboot project urges everyone to install and use linux-libre on their GNU systems), -- cgit v0.9.1