diff options
Diffstat (limited to 'microkernel/mach/documentation.mdwn')
-rw-r--r-- | microkernel/mach/documentation.mdwn | 10 |
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 |