summaryrefslogtreecommitdiff
path: root/microkernel/mach/documentation.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2010-12-21 11:37:09 +0100
committerThomas Schwinge <thomas@schwinge.name>2010-12-21 11:37:09 +0100
commit17d02618ae3ad154e789f7ebe66d0cdfafcb0ef6 (patch)
tree0c858d96cabc62600fa03737a9b81ad572f96adb /microkernel/mach/documentation.mdwn
parent7d75462177569c3b149b7f8da88652fdf2c6a4e0 (diff)
microkernel/mach: Mach OSF books.
Diffstat (limited to 'microkernel/mach/documentation.mdwn')
-rw-r--r--microkernel/mach/documentation.mdwn10
1 files changed, 6 insertions, 4 deletions
diff --git a/microkernel/mach/documentation.mdwn b/microkernel/mach/documentation.mdwn
index 4c6702aa..4bd712c9 100644
--- a/microkernel/mach/documentation.mdwn
+++ b/microkernel/mach/documentation.mdwn
@@ -17,11 +17,13 @@ License|/fdl]]."]]"""]]
* *[[The_GNU_Mach_Reference_Manual|gnumach/reference_manual]]*.
- - OSF's [Kernel Interface (ps)](http://www.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps)
- [Kernel Interface (pdf)](http://shakthimaan.com/downloads/hurd/kernel_interface.pdf)
+ * {{$mach#kernel_principles}}
- - OSF's [Kernel Principles (ps)](http://www.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps)
- [Kernel Principles (pdf)](http://shakthimaan.com/downloads/hurd/kernel_principles.pdf)
+ * {{$mach#kernel_interface}}
+
+ * {{$mach#server_writer}}
+
+ * {{$mach#server_interface}}
* [*The Unofficial GNU Mach IPC beginner's
guide*](http://hurdextras.nongnu.org/ipc_guide/), an easy introduction to