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