Sporadic efforts by numerous individuals have been made to keep the information in this wiki current. The hope that the primary development team would make this a canonical source has not been fulfilled. While some of the information and links here are still valid, unfortunately much is not.
-- [[Main/GrantBow]] - 24 Jul 2007
## 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
- [[GNUMach]]: GNUmach 1.x kernel
- [[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.
- Other Mach kernels that can be of interest (noone even investigate yet if they can be of some use):
- [[GNUMachRevivalProject]]: Task and Wish list for a new effort to make GNU Mach a reliable (in stability and performance terms) microkernel for The Hurd.
- [[WebDiscuss]] - Content discussions