path: root/microkernel/mach/gnumach.mdwn
diff options
authorThomas Schwinge <>2008-11-05 14:58:33 +0100
committerThomas Schwinge <>2008-11-05 14:58:33 +0100
commitae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 (patch)
tree53d824c19af411f67db44baeacba9b22b68731e6 /microkernel/mach/gnumach.mdwn
parent9574f098caf72da7f709c8467e96606cce04fff9 (diff)
microkernel/mach/gnumach -> microkernel/mach/gnu_mach
Diffstat (limited to 'microkernel/mach/gnumach.mdwn')
1 files changed, 0 insertions, 30 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
deleted file mode 100644
index d45549f..0000000
--- a/microkernel/mach/gnumach.mdwn
+++ /dev/null
@@ -1,30 +0,0 @@
-[[meta copyright="Copyright © 2007, 2008 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
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
-is included in the section entitled
-GNU Mach is currently used by the GNU [[Hurd]].
-GNU Mach remains compatible with [[Mach]] 3.0.
-The majority of GNU Mach's [[device_driver]]s are from Linux 2.0. They were
-added using glue code, i.e., a Linux [[emulation]] layer in Mach.
-GNU Mach runs on x86 machines. See the
-[[hardware_compatibility_list]] and information about
-[[ports]] to other architectures.
-# Development
-* [[Building]]
-* [[Debugging]]
-* [[Boot_Trace]]
-* [[Projects]]
- * [[Rules]]
- * [[Open_Issues]]