diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2003-01-08 07:20:00 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2003-01-08 07:20:00 +0000 |
| commit | fda04019fc0ddefac489f37dd7b7e529459e97c9 (patch) | |
| tree | efebf55e15b3ae585dec4990eec47ce8f0c18719 /Mach | |
| parent | c5496ac0efc75cafe00666d584389991e10e4717 (diff) | |
none
Diffstat (limited to 'Mach')
| -rw-r--r-- | Mach/WebHome.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index aebc2efc..31a4b60c 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -26,7 +26,7 @@ <ul> <li><span style="background:"><font color="">Oskit Mach</font></span><a href="http://LOCATION/OskitMach">?</a>: GNUmach 2.0 <ul> <li><span style="background:"><font color="">Oskit Mach Status List</font></span><a href="http://LOCATION/OskitMachStatusList">?</a>: Status and TODO list </li> - <li><span style="background:"><font color="">Useful Oskit Patches</font></span><a href="http://LOCATION/UsefulOskitPatches">?</a>: Some useful patches for the OSKit </li> + <li><span style="background:"><font color="">Oskit Patches</font></span><a href="http://LOCATION/OskitPatches">?</a>: Some useful patches for the OSKit </li> <li><span style="background:"><font color="">Building Oskit Mach</font></span><a href="http://LOCATION/BuildingOskitMach">?</a>: How to build your own GNUmach kernel </li> <li><span style="background:"><font color="">Remote Debug Oskit Mach</font></span><a href="http://LOCATION/RemoteDebugOskitMach">?</a>: How to use gdb to remote debug the GNUmach kernel </li> </ul> |