From 17d02618ae3ad154e789f7ebe66d0cdfafcb0ef6 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 21 Dec 2010 11:37:09 +0100 Subject: microkernel/mach: Mach OSF books. --- microkernel/mach/concepts.mdwn | 8 ++++++++ microkernel/mach/documentation.mdwn | 10 ++++++---- 2 files changed, 14 insertions(+), 4 deletions(-) (limited to 'microkernel/mach') diff --git a/microkernel/mach/concepts.mdwn b/microkernel/mach/concepts.mdwn index a9e8897d..0f7cbf00 100644 --- a/microkernel/mach/concepts.mdwn +++ b/microkernel/mach/concepts.mdwn @@ -23,3 +23,11 @@ implemented by sending [[message]]s to [[port]]s. Device drivers that reside in kernel space are controlled by ports, too. Mach's [[API]] is well-[[documented|documentation]]. + +[[!toggleable id=mach_kernel_principles text="""[[!template id=note +text="*[[mach\_kernel\_principles|documentation]]*: +{{$mach#kernel_principles}}"]]"""]] + +In particular the [[!toggle id=mach_kernel_principles +text="[mach\_kernel\_principles]"]] book further elaborates on Mach's concepts +and principles. 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 -- cgit v1.2.3