diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2002-11-01 00:20:44 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2002-11-01 00:20:44 +0000 |
| commit | 826e23799dd5745f72ca8b97e143c6fbac9e8f70 (patch) | |
| tree | 370e68c43934ca0feb51126dbd35949c341eea0c /Mach | |
| parent | 6a07619c36ca40d9d90cd3bb72440e5729c54913 (diff) | |
none
Diffstat (limited to 'Mach')
| -rw-r--r-- | Mach/WebHome.mdwn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index 78a94258..ff097f4f 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -6,6 +6,7 @@ * [[OskitMach]]: GNUmach 2.0 * [[OskitMachStatusList]]: Status and TODO list + * [[UsefulOskitPatches]]: Some useful patches for the OSKit * [[BuildingOskitMach]]: How to build your own GNUmach kernel * [[RemoteDebugOskitMach]]: How to use gdb to remote debug the GNUmach kernel |