summaryrefslogtreecommitdiff
path: root/microkernel/mach/concepts.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/concepts.mdwn
parent7d75462177569c3b149b7f8da88652fdf2c6a4e0 (diff)
microkernel/mach: Mach OSF books.
Diffstat (limited to 'microkernel/mach/concepts.mdwn')
-rw-r--r--microkernel/mach/concepts.mdwn8
1 files changed, 8 insertions, 0 deletions
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.