Mach.mdwn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

## <a name="GNU_Mach"> </a> 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 <a href="http://www.l4ka.org" target="_top">L4</a> for instance. <p> Feel free to add relevant content. </p>
<p><strong><em>Table of Contents:</em></strong></p>
<p>
</p>
<ul>
<li>[[MachHistory]]: History of Mach </li>
</ul>
<p>
</p>
<ul>
<li>[[MachConcepts]]: <a href="http://www.dina.dk/~abraham/Linus_vs_Tanenbaum.html" target="_top">Linus vs. Tanenbaum</a></li>
</ul>
<p>
</p>
<p>
</p>
<ul>
<li><a href="http://www.cs.cornell.edu/Info/People/ulfar/ukernel/ukernel.html" target="_top">Microkernels</a> (an HTML review of the area from late 1996) </li>
</ul>
<p>
</p>
<ul>
<li><a href="http://www.nongnu.org/hurdextras/ipc_guide/ipc_guide.html" target="_top">The Unofficial GNU Mach IPC beginner's guide</a> (part of <a href="http://savannah.nongnu.org/projects/hurdextras/" target="_top">Hurd Extras project</a>) </li>
</ul>
<p>
</p>
<ul>
<li><a href="http://foobar-qux.org:8080/hde/MACH_DOCS_PDFS/" target="_top">Documents about Mach</a></li>
</ul>
<p>
</p>
<ul>
<li>[[GNUMach]]: GNUmach 1.x kernel <ul>
<li>[[BuildingGNUMach]]</li>
</ul>
</li>
</ul>
<p>
</p>
<ul>
<li>[[OskitMach]]: GNUmach 2.0 (DEFUNCT) <ul>
<li>[[OskitMachStatusList]]: Status and TODO list (<a href="http://packages.debian.org/gnumach" target="_top">deb status</a>) </li>
<li>[[OskitMachPatches]]: Bleeding edge patches </li>
<li>[[OskitPatches]]: Useful patches for the OSKit </li>
<li>[[BuildingOskitMach]]: How to build your own GNUmach kernel </li>
<li>[[RemoteDebugOskitMach]]: How to use gdb to remote debug the GNUmach kernel </li>
</ul>
</li>
</ul>
<p>
</p>
<ul>
<li>[[MicroKernelFUD]]: Fear, Uncertainty, Doubt - The Micro Kernel Experiment Continues </li>
</ul>
<p>
</p>
<ul>
<li>[[MicroKernelResearch]]: Papers on Mach related topics, [[PosixSemaphores]], [[PortToL4]]. </li>
</ul>
<p>
</p>
<ul>
<li>[[MicroKernelsForBeginners]]: (suggested page, better description needed) For experienced users who know little about microkernels but wish to learn about them. </li>
</ul>
<p>
</p>
<ul>
<li><a href="http://i30www.ira.uka.de/teaching/pastcourses/lecture.php?courseid=80" target="_top">Microkernel construction</a> (lectures by the <a href="http://l4ka.org/projects/pistachio/" target="_top">L4Ka::Pistachio</a> team) </li>
</ul>
<p>
</p>
<ul>
<li> Other <nop>Mach kernels that can be of interest (noone even investigate yet if they can be of some use): <ul>
<li><a href="http://developer.apple.com/darwin/" target="_top">Darwin</a>: The kernel of <a href="http://www.apple.com/macosx/" target="_top">Max OS X</a> (<a href="http://developer.apple.com/techpubs/macosx/Darwin/General/KernelProgramming/" target="_top">Kernel Programming book</a>) </li>
<li><a href="http://www.kerneltrap.org/node.php?id=543" target="_top">Darwin binary compatibilty</a> in <a href="http://www.netbsd.org/" target="_top">NetBSD</a></li>
<li><a href="http://www.morphos.org" target="_top">http://www.morphos.org</a></li>
<li> a small <a href="http://cliki.tunes.org/Microkernel%20Debate" target="_top">Microkernel debate</a></li>
<li> a <a href="http://www.ussg.iu.edu/hypermail/linux/kernel/0206.2/1337.html" target="_top">reply</a> to Alan Cox re: Amiga DOS </li>
</ul></nop></li>
</ul>
<p>
</p>
<ul>
<li>[[GNUMachRevivalProject]]: Task and Wish list for a new effort to make GNU Mach a reliable (in stability and performance terms) microkernel for The Hurd. </li>
</ul>