diff options
Diffstat (limited to 'Mach/WebHome.mdwn')
| -rw-r--r-- | Mach/WebHome.mdwn | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index a0773711..04dbc7be 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -3,7 +3,7 @@ <form action="%SCRIPTURLPATH%/search%SCRIPTSUFFIX%/%WEB%/"> <table> <tr> - <td valign="top" width="65%"> 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 <a href="http://www.l4ka.org" target="_top">L4</a> for instance. <p> Feel free to add relevant content. </p> + <td valign="top" width="65%"> 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> @@ -30,7 +30,8 @@ <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="">Oskit Patches</font></span><a href="http://LOCATION/OskitPatches">?</a>: Some useful patches for the OSKit </li> + <li><span style="background:"><font color="">Oskit Mach Patches</font></span><a href="http://LOCATION/OskitMachPatches">?</a>: Bleeding edge patches </li> + <li><span style="background:"><font color="">Oskit Patches</font></span><a href="http://LOCATION/OskitPatches">?</a>: 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> @@ -76,6 +77,7 @@ <li><span style="background:"><font color="">Web Index</font></span><a href="http://LOCATION/WebIndex">?</a> - Alphabetical index </li> <li><span style="background:"><font color="">Web Notify</font></span><a href="http://LOCATION/WebNotify">?</a> - Email notification </li> <li><span style="background:"><font color="">Web Changes</font></span><a href="http://LOCATION/WebChanges">?</a> - Web <nop>ChangeLog </nop></li> + <li><span style="background:"><font color="">Web Discuss</font></span><a href="http://LOCATION/WebDiscuss">?</a> - Content discussions </li> <li><span style="background:"><font color="">Web Topic List</font></span><a href="http://LOCATION/WebTopicList">?</a> - Index by Topic </li> <li><span style="background:"><font color="">Web Statistics</font></span><a href="http://LOCATION/WebStatistics">?</a> - Statistical trivia </li> <li><span style="background:"><font color="">Web Preferences</font></span><a href="http://LOCATION/WebPreferences">?</a> - Administrative settings </li> @@ -86,9 +88,3 @@ </tr> </table> </form> - ----- - -Meta discussion takes place in the [[WebDiscuss]] topic. - --- [[Main/JoachimNilsson]] - 31 Oct 2002 |