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:
Mach History ? : History of Mach
GNU Mach ? : GNUmach 1.x kernel
Oskit Mach ? : GNUmach 2.0 (DEFUNCT)
Oskit Mach Status List ? : Status and TODO list (deb status )
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
Micro Kernel FUD ? : Fear, Uncertainty, Doubt - The Micro Kernel Experiment Continues
Micro Kernel Research ? : Papers on Mach related topics, Posix Semaphores ? , Port To L 4 ? .
Micro Kernels For Beginners ? : (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):
GNUMach Revival Project ? : 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 (more ? )
Top Contributors
%INCLUDE{"WebStatistics" pattern=".*?\-\-statTopContributors\-\-\>[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+\|[^\|]+(\|[^\|]+\|[^\|]+\|).*"}%
More search options in Web Search ?
Currently, Web refers to the Mach Web.
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