diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/documentation.mdwn | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/microkernel/mach/documentation.mdwn b/microkernel/mach/documentation.mdwn index 4dc4837b..9d06fb7a 100644 --- a/microkernel/mach/documentation.mdwn +++ b/microkernel/mach/documentation.mdwn @@ -8,5 +8,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU_Free_Documentation_License|/fdl]]."]]"""]] -- 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) + - 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) |