summaryrefslogtreecommitdiff
path: root/hurd
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-03-21 20:20:18 +0100
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-03-21 20:20:18 +0100
commit1136b8bb46e6eda31c8fcce9f39d7fbc33cdca79 (patch)
tree415df31b7003f06ffd7a251674563c1cb5d6847d /hurd
parent17524bf12d48e489cf51a6c376f61bae2b9bddfe (diff)
UNIX is conventionally referred to as a system, not a kernel
Diffstat (limited to 'hurd')
-rw-r--r--hurd/what_is_the_gnu_hurd.mdwn3
1 files changed, 1 insertions, 2 deletions
diff --git a/hurd/what_is_the_gnu_hurd.mdwn b/hurd/what_is_the_gnu_hurd.mdwn
index 7a7f3d43..8315bfff 100644
--- a/hurd/what_is_the_gnu_hurd.mdwn
+++ b/hurd/what_is_the_gnu_hurd.mdwn
@@ -11,8 +11,7 @@ License|/fdl]]."]]"""]]
[[!meta title="What Is the GNU Hurd?"]]
-The Hurd is the GNU project's replacement for [[UNIX]], a popular operating
-system [[kernel]].
+The Hurd is the GNU project's replacement for the [[UNIX]] system's [[kernel]].
The Hurd is firstly a collection of protocols formalizing how different
components may interact. The protocols are designed to reduce the mutual