| 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?: Stable GNUmach 1.3 kernel
- Oskit Mach?: GNUmach 2.0
- Oskit Mach Status List?: Status and TODO list
- 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):
|
|
| 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
|