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.
Hot Topics ([[WebStatistics]])
Top Contributors
%INCLUDE{"WebStatistics" pattern=".*?\-\-statTopContributors\-\-\>[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+(\|[^\|]+\|[^\|]+\|).*"}%
More search options in [[WebSearch]]
Currently, Web refers to the Mach Web.
[[WebIndex]] - Alphabetical index
[[WebChanges]] - Web ChangeLog
[[WebDiscuss]] - Content discussions
[[WebTopicList]] - Index by Topic
[[WebStatistics]] - Statistical trivia
[[WebPreferences]] - Administrative settings