| 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.
Table of Contents:
- Mach History?: History of Mach
- Gnu Mach?: Stable GNUmach 1.3 kernel
- Oskit Mach?: GNUmach 2.0
- Oskit Mach Status List?: Status and TODO list
- Oskit Patches?: Some 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?.
- Other Mach kernels that can be of interest (noone even investigate yet if they can be of some use):
|
|
| 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 Topic List? - Index by Topic
- Web Statistics? - Statistical trivia
- Web Preferences? - Administrative settings
|