summaryrefslogtreecommitdiff
path: root/Mach
diff options
context:
space:
mode:
Diffstat (limited to 'Mach')
-rw-r--r--Mach/MachConcepts.mdwn7
1 files changed, 6 insertions, 1 deletions
diff --git a/Mach/MachConcepts.mdwn b/Mach/MachConcepts.mdwn
index ed8d1417..2a7b0061 100644
--- a/Mach/MachConcepts.mdwn
+++ b/Mach/MachConcepts.mdwn
@@ -2,4 +2,9 @@
[[AddressSpace]]s in the form of [[Mach/Task]]s, execution contexts in the
form of threads, [[Mach/IPC]], [[capabilities]] in the form of
[[Mach/Ports]], and [[Mach/MemoryObjects]], which enable
-[[Mach/ExternalPagerMechanism|Mach]].
+Mach's [[Mach/ExternalPagerMechanism]].
+
+# Documentation
+
+- OSF's [Kernel Interface](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps)
+- OSF's [Kernel Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps) \ No newline at end of file