aboutsummaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-10-17 17:02:33 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-10-17 17:02:33 +0200
commit47e0ddbf78de952850634de217fa079e63dd9524 (patch)
treef8d241bd1b8a5fb86c701f8a212c6b137f3dafd4 /microkernel/mach/gnumach.mdwn
parent21001e6e3f69aba77a55a55ce0fee45779b057ff (diff)
downloadweb-47e0ddbf78de952850634de217fa079e63dd9524.tar.gz
web-47e0ddbf78de952850634de217fa079e63dd9524.tar.bz2
web-47e0ddbf78de952850634de217fa079e63dd9524.zip
Some hints about debugging GNU Mach stuff.
Diffstat (limited to 'microkernel/mach/gnumach.mdwn')
-rw-r--r--microkernel/mach/gnumach.mdwn7
1 files changed, 4 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index cfdb1a99..16ed602a 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -10,15 +10,16 @@ GNU Mach is currently used by the GNU [[Hurd]].
GNU Mach remains compatible with Mach 3.0.
-The majority of GNU Mach's device drivers are from Linux 2.0. They were
-added using glue code, i.e., a Linux emulation layer in Mach.
+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|hardwarecompatibilitylist]] and information about
[[ports]] to other architectures.
-# Related Links
+# Development
* [[Building]]
+* [[Debugging]]
* [[RevivalProject]] - GNU Mach Projects