From 82d856fecfbf1aec1f4d6b471e5d5276f5e50611 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 12 Aug 2007 16:31:50 +0200 Subject: Remove some of the html table stuff. --- Mach/WebHome.mdwn | 198 +++++++++++++++++++++++++----------------------------- 1 file changed, 90 insertions(+), 108 deletions(-) (limited to 'Mach') diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index 7b1fe5cf..46dc8a7c 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -4,111 +4,93 @@ Sporadic efforts by numerous individuals have been made to keep the information ## GNU Mach -
- - - - - - -
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:

-

-

-
    -
  • [[MachHistory]]: History of Mach
  • -
-

-

- -

-

-

-

-
    -
  • Microkernels (an HTML review of the area from late 1996)
  • -
-

-

- -

-

- -

-

-
    -
  • [[GNUMach]]: GNUmach 1.x kernel
      -
    • [[BuildingGNUMach]]
    • -
    -
  • -
-

-

-
    -
  • [[OskitMach]]: GNUmach 2.0 (DEFUNCT)
      -
    • [[OskitMachStatusList]]: Status and TODO list (deb status)
    • -
    • [[OskitMachPatches]]: Bleeding edge patches
    • -
    • [[OskitPatches]]: Useful patches for the OSKit
    • -
    • [[BuildingOskitMach]]: How to build your own GNUmach kernel
    • -
    • [[RemoteDebugOskitMach]]: How to use gdb to remote debug the GNUmach kernel
    • -
    -
  • -
-

-

-
    -
  • [[MicroKernelFUD]]: Fear, Uncertainty, Doubt - The Micro Kernel Experiment Continues
  • -
-

-

-
    -
  • [[MicroKernelResearch]]: Papers on Mach related topics, [[PosixSemaphores]], [[PortToL4]].
  • -
-

-

-
    -
  • [[MicroKernelsForBeginners]]: (suggested page, better description needed) For experienced users who know little about microkernels but wish to learn about them.
  • -
-

-

- -

-

- -

-

-
    -
  • [[GNUMachRevivalProject]]: Task and Wish list for a new effort to make GNU Mach a reliable (in stability and performance terms) microkernel for The Hurd.
  • -
-

-

-
- -

-

-

Currently, Web refers to the Mach Web.

-

-

-
    -
  • [[WebDiscuss]] - Content discussions
  • -
-

-

-
-
+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:

+

+

+ +

+

+ +

+

+

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ +

+

+ -- cgit v1.2.3