diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2002-10-31 12:45:00 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2002-10-31 12:45:00 +0000 |
| commit | e5500d77a8a65a8748cb26783444cea628dbd2ab (patch) | |
| tree | 553401fee66c231f31148ff598522777f87e810f | |
| parent | 34e5da23b9263c363f23fd2f4cb8ff46fa4d95d1 (diff) | |
none
| -rw-r--r-- | Mach/WebHome.mdwn | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index 9d96ca3e..78a94258 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -1,18 +1,18 @@ ## <a name="Table_of_Contents"> Table of Contents </a> -<dl> - <dt><span style="background:"><font color="">Mach History</font></span><a href="http://LOCATION/MachHistory">?</a></dt> - <dd> History of Mach </dd> - <dt><span style="background:"><font color="">Gnu Mach</font></span><a href="http://LOCATION/GnuMach">?</a></dt> - <dd> Stable GNUmach 1.3 kernel </dd> - <dt><span style="background:"><font color="">Oskit Mach</font></span><a href="http://LOCATION/OskitMach">?</a></dt> - <dd> GNUmach 2.0 </dd> - <dt><span style="background:"><font color="">Remote Debug Oskit Mach</font></span><a href="http://LOCATION/RemoteDebugOskitMach">?</a></dt> - <dd> How to use gdb to remote debug the GNUmach kernel </dd> - <dt><span style="background:"><font color="">Oskit Mach Status List</font></span><a href="http://LOCATION/OskitMachStatusList">?</a></dt> - <dd> Status and TODO list </dd> -</dl> +* [[MachHistory]]: History of Mach + +* [[GnuMach]]: Stable GNUmach 1.3 kernel + +* [[OskitMach]]: GNUmach 2.0 + * [[OskitMachStatusList]]: Status and TODO list + * [[BuildingOskitMach]]: How to build your own GNUmach kernel + * [[RemoteDebugOskitMach]]: How to use gdb to remote debug the GNUmach kernel + +* [[Hurd/MicroKernelFUD]]: The Micro Kernel Experiment Continues ---- -Feel free to add relevant content. -- [[Main/JoachimNilsson]] - 29 Oct 2002 +Feel free to add relevant content. + +-- [[Main/JoachimNilsson]] - 31 Oct 2002 |