From 0bf4927334ab23564647d6575b17d2df67f45e52 Mon Sep 17 00:00:00 2001 From: Joachim Nilsson Date: Tue, 22 Apr 2003 08:34:00 +0000 Subject: none --- Mach/WebHome.mdwn | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index a0773711..04dbc7be 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -3,7 +3,7 @@
-
This web deals with the Mach micro kernel that provides the base for the Hurd servers which makes out the GNU operating system. It is also the logical place for any other future microkernel, like L4 for instance.

Feel free to add relevant content.

+
This web deals with the Mach micro kernel, the base for the Hurd servers which makes out the GNU operating system. This is also the logical place for any other future microkernel, like L4 for instance.

Feel free to add relevant content.

Table of Contents:

@@ -30,7 +30,8 @@
  • Oskit Mach?: GNUmach 2.0
    • Oskit Mach Status List?: Status and TODO list
    • -
    • Oskit Patches?: Some useful patches for the OSKit
    • +
    • Oskit Mach Patches?: Bleeding edge patches
    • +
    • Oskit Patches?: Useful patches for the OSKit
    • Building Oskit Mach?: How to build your own GNUmach kernel
    • Remote Debug Oskit Mach?: How to use gdb to remote debug the GNUmach kernel
    @@ -76,6 +77,7 @@
  • Web Index? - Alphabetical index
  • Web Notify? - Email notification
  • Web Changes? - Web ChangeLog
  • +
  • Web Discuss? - Content discussions
  • Web Topic List? - Index by Topic
  • Web Statistics? - Statistical trivia
  • Web Preferences? - Administrative settings
  • @@ -86,9 +88,3 @@
- ----- - -Meta discussion takes place in the [[WebDiscuss]] topic. - --- [[Main/JoachimNilsson]] - 31 Oct 2002 -- cgit v1.2.3