summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-03-24 06:04:14 +0100
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-03-24 06:04:14 +0100
commit0c968db3303838c0206b0ea2ed7bfae02e3b2d7c (patch)
tree0e831d9f2f62ce82a78976a3165b206db9921700 /microkernel/mach
parent523aa929e06380c4c9b6d768dfaf2c792870ec17 (diff)
HR rules over H1
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach.mdwn8
1 files changed, 4 insertions, 4 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 35404408..9626161b 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -1,4 +1,4 @@
-[comment]: <> [[!meta copyright="Copyright © 2001, 2002, 2007, 2008, 2011, 2013, 2015, 2016 Free Software Foundation, Inc."]]
+[//]: # (meta copyright="Copyright © 2001, 2002, 2007, 2008, 2011, 2013, 2015, 2016 Free Software Foundation, Inc.")
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -27,7 +27,7 @@ GNU Mach runs on x86 machines. See the
The latest release is [[GNU Mach 1.8|news/2016-12-18-releases]].
-
+---
# Advantages of GNU Mach
GNU Mach is not the most advanced [[microkernel]] known to the planet, nor is
@@ -65,7 +65,7 @@ features which make it useful as the base of the [[Hurd]] system.
Mach is the base of a functional multi-server operating system, the
[[Hurd]].
-
+---
# Booting
To actually use the kernel and boot the GNU operating system, you need a boot
@@ -74,7 +74,7 @@ that supports the multiboot standard. The bootloader of the GNU system is
[[GNU_GRUB|grub]], which supports a broad range of operating systems including
GNU/Hurd.
-
+---
# Development
* [[Reference_Manual]]