Some bits about L4 and Coyotos.

14 files changed, 123 insertions, 315 deletions

diff --git a/history/port_to_l4.mdwn b/history/port_to_l4.mdwn
index cdf048e6..b58c0d91 100644
--- a/history/port_to_l4.mdwn
+++ b/history/port_to_l4.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2007, 2008, 2009
-Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
+2009, 2010 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -100,3 +100,9 @@ A lange number of discussion threads can be found in the archives of the
 > that we had come to envision in terms of interfaces and description of the
 > system's structure.  The new name was selected, if I recall correctly, as it
 > clearly wasn't the Hurd nor the Hurd based on L4.
+
+
+The source code is still available in [CVS module
+`hurd-l4`](http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/) (note that
+this repository has in the beginning also been used for Neal's
+[[microkernel/Viengoos]]).
diff --git a/hurd/ng.mdwn b/hurd/ng.mdwn
index fb4d742f..de33949d 100644
--- a/hurd/ng.mdwn
+++ b/hurd/ng.mdwn
@@ -10,7 +10,6 @@ These pages try to summarize the major discussions and ideas.
 
 This section explains the motivations behind the new design:
 
-  * [[Issues_with_Mach]]
   * [[Issues_with_L4_Pistachio]]
   * [[Limitations_of_the_original_Hurd_design]]
 
@@ -64,7 +63,6 @@ A [[critique]] of the original Hurd is available.
 
 ## Implementation
 
-* [[ChoiceOfMicrokernel]]
 * [[HurdInterafaces]]
 * [[PosixLayer]]
 * [[SystemStructure]]
diff --git a/hurd/ng/choiceofmicrokernel.mdwn b/hurd/ng/choiceofmicrokernel.mdwn
deleted file mode 100644
index 20ee6f05..00000000
--- a/hurd/ng/choiceofmicrokernel.mdwn
+++ /dev/null
@@ -1,4 +0,0 @@
-TBD
-
-* [[MicrokernelL4]]
-* [[MicrokernelCoyotos]]
diff --git a/hurd/ng/issues_with_mach.mdwn b/hurd/ng/issues_with_mach.mdwn
deleted file mode 100644
index 9fac498f..00000000
--- a/hurd/ng/issues_with_mach.mdwn
+++ /dev/null
@@ -1,12 +0,0 @@
-[[!meta copyright="Copyright © 2008, 2009 Free Software Foundation, Inc."]]
-
-[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
-id="license" text="Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
-
-  * [[open issues/Resource Management Problems]]
-  * [[Critique]]
diff --git a/hurd/ng/microkernelcoyotos.mdwn b/hurd/ng/microkernelcoyotos.mdwn
deleted file mode 100644
index 2340901d..00000000
--- a/hurd/ng/microkernelcoyotos.mdwn
+++ /dev/null
@@ -1,11 +0,0 @@
-# <a name="The_Coyotos_microkernel"> The Coyotos microkernel </a>
-
-[Coyotos](http://www.coyotos.org/index.html) is a microkernel and OS and the successor of EROS, that itself is the successor of KeyKOS. A more complete history can be found [here](http://www.coyotos.org/history.html). Its main objectives are to correcte some shortcomings of EROS, demonstrate that an atomic kernel design scales well, and (eventually) to completely formally verify both the kernel and critical system components by writing them in a new language called [bitc](http://www.bitc-lang.org/).  [See [l4.verified](http://nicta.com.au/research/projects/l4.verified) for work on formally verifying an L4 microkernel.]
-
-Coyotos is an orthogonally persistent pure capability system. It uses
-continuation based unbuffered asynchronous IPC (actually it's synchronous IPC
-with asynchronous [[system calls]]).
-
-TODO: explain these terms and (more important) their consequences on system design.
-
-The coyotos microkernel specification can be found [here](http://www.coyotos.org/docs/ukernel/spec.html)
diff --git a/hurd/what_is_the_gnu_hurd.mdwn b/hurd/what_is_the_gnu_hurd.mdwn
index 0b8f7ef6..7a7f3d43 100644
--- a/hurd/what_is_the_gnu_hurd.mdwn
+++ b/hurd/what_is_the_gnu_hurd.mdwn
@@ -1,17 +1,18 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2007, 2008 Free
-Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
+2010 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="What Is the GNU Hurd?"]]
 
-The Hurd is the GNU project's replacement for the [[Unix]] kernel.
+The Hurd is the GNU project's replacement for [[UNIX]], a popular operating
+system [[kernel]].
 
 The Hurd is firstly a collection of protocols formalizing how different
 components may interact.  The protocols are designed to reduce the mutual
@@ -22,11 +23,19 @@ process to implement a file system.  The only requirement is that it have
 access to its backing store and that the [[principal]] that started it own the
 file system node to which it connects.
 
-The Hurd is also a set of servers that implement these protocols.
-They include file systems, network protocols and authentication.
+The Hurd is also a set of [[servers|translator]] that implement these
+protocols.  They include file systems, network protocols and authentication.
 The servers run on top of the [[microkernel/Mach]] [[microkernel]] and use
 Mach's [[microkernel/mach/IPC]] mechanism to transfer information.
 
+The Hurd provides a compatibility layer such that compiling higher level
+programs is essentially transparent; that is, by means of the [[glibc]], it
+provides the same standard interfaces known from other [[UNIX]]-like systems.
+Thus, for a typical user, the Hurd is intended to silently work in the
+background providing the services and infrastructure which the [[microkernel]]
+itself has no business implementing, but that are required for higher level
+programs and libraries to operate.
+
 The Hurd supplies the last major software component needed for a complete
 [[GNU_operating_system|running/gnu]] as originally conceived by Richard
 M. Stallman (RMS) in 1983.  The GNU vision directly drove the creation and has
diff --git a/kernel.mdwn b/kernel.mdwn
new file mode 100644
index 00000000..8190660e
--- /dev/null
+++ b/kernel.mdwn
@@ -0,0 +1,21 @@
+[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010 Free Software
+Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+The kernel of an operating system is a fundamental program which provides
+essential resources from the hardware of the computer to other programs.
+
+A kernel typically runs all the time and remains resident in main memory.
+
+The amount of functionality and resources which it provides vary tremendously.
+
+  * [[microkernel]]
+
+  * [[UNIX]]
diff --git a/microkernel.mdwn b/microkernel.mdwn
index e2d70c01..17344689 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -1,12 +1,15 @@
-[[!meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2010 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+A *microkernel* is one kind of a [[kernel]] implementation.
 
 [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642)
 that a microkernel attempts to minimize the mandatory part of the operating
@@ -19,12 +22,10 @@ The idea of a microkernel as explained above was first explored
 by Per Brinch-Hansen in 1970 in
 [The Nucleus of a Multiprogramming System](http://brinch-hansen.net/papers/1970a.pdf).
 
-Other notable microkernels include [[Hydra]], [[KeyKOS]], [[Eros]] and [[L4]].
-
 An [introduction](http://www.cs.cornell.edu/Info/People/ulfar/ukernel/ukernel.html) by 
 Úlfar Erlingsson and Athanasios Kyparlis (from 1996) to microkernel concepts.
 
-[[Research]].  [[Viengoos]].
+[[Research]].
 
 [[Microkernels_for_beginners|for_beginners]].
 
@@ -32,4 +33,21 @@ A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt).
 
 [[FAQ]].
 
-[[Mach]].
+
+# Implementations
+
+  * [[Hydra]]
+
+  * [[KeyKOS]]
+
+  * [[Mach]] -- used by the GNU/Hurd
+
+  * [[EROS]]
+
+  * [[CapROS]]
+
+  * [[Coyotos]]
+
+  * [[L4]]
+
+  * [[Viengoos]]
diff --git a/microkernel/coyotos.mdwn b/microkernel/coyotos.mdwn
new file mode 100644
index 00000000..5ecea688
--- /dev/null
+++ b/microkernel/coyotos.mdwn
@@ -0,0 +1,30 @@
+[[!meta copyright="Copyright © 2006, 2007, 2008, 2010 Free Software Foundation,
+Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!meta title="Coyotos"]]
+
+[*Coyotos*](http://www.coyotos.org/) is a microkernel and OS and the successor
+of [[EROS]], that itself is the successor of [[KeyKOS]].  A more complete
+history can be found [here](http://www.coyotos.org/history.html).  Its main
+objectives are to correcte some shortcomings of [[EROS]], demonstrate that an
+atomic kernel design scales well, and (eventually) to completely formally
+verify both the kernel and critical system components by writing them in a new
+language called [bitc](http://www.bitc-lang.org/).
+
+Coyotos is an orthogonally [[persistent|persistency]] pure [[capability]]
+system.  It uses [[continuation]]-based unbuffered asynchronous [[IPC]]
+(actually it's synchronous [[IPC]] with asynchronous [[system calls]]).
+
+TODO: explain these terms and (more important) their consequences on system
+design.
+
+The coyotos microkernel specification can be found
+[here](http://www.coyotos.org/docs/ukernel/spec.html).
diff --git a/microkernel/l4.mdwn b/microkernel/l4.mdwn
new file mode 100644
index 00000000..970407be
--- /dev/null
+++ b/microkernel/l4.mdwn
@@ -0,0 +1,21 @@
+[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010 Free Software
+Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+The [*L4* microkernel](http://l4ka.org/) is an attempt to create a very small
+high performace core which provides basic memory management, task and context
+switching, and little else.
+
+[L4Ka Pistachio Home](http://l4ka.org/projects/pistachio/).
+
+See [l4.verified](http://nicta.com.au/research/projects/l4.verified) for work
+on formally verifying an L4 microkernel.
+
+There was a GNU/Hurd [[history/port_to_L4]], which is now stalled.
diff --git a/unix.mdwn b/unix.mdwn
index bf361e2e..3cfe7771 100644
--- a/unix.mdwn
+++ b/unix.mdwn
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="UNIX"]]
 
+*UNIX* is a [[kernel]] implementation.
+
 
 # External
 
diff --git a/unsorted/HurdOnL4.mdwn b/unsorted/HurdOnL4.mdwn
deleted file mode 100644
index 79e7a714..00000000
--- a/unsorted/HurdOnL4.mdwn
+++ /dev/null
@@ -1,173 +0,0 @@
-# <a name="GNU_Hurd_on_L4_wiki"> GNU/Hurd on L4 wiki </a>
-
-## <a name="Introduction"> Introduction </a>
-
-This page is a place for information pertaining to the efforts towards realizing the migration and porting of the [[Hurd]] such that it uses the [L4 Microkernel](http://l4ka.org/). The GNU/Hurd Operating System, sometimes just referred to as the _GNU Operating System_ is a rich and robust collection of programs and utilities which enable you to use your computer to do usefull and or entertaining things. The intent is that most any applicable software package available on the [GNU Website](http://www.gnu.org) (and many others also) will be able to be compiled and run under the resultant operating system.
-
-At this point (06/20/2004) this is not yet possible. Indeed, the preliminary foundations are still being developed. Nevertheless, this is a volunteer created operating system so those with the knowledge, interest, and spare time are encouraged to study and if possible contribute to the project.
-
-In [CVS module <samp>hurd-l4</samp>](http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/), there is a [comprehensive list of items that need to be done](http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/TODO).
-
-## <a name="Components_of_the_System"> Components of the System </a>
-
-### <a name="The_L4_Microkernel"> The L4 Microkernel </a>
-
-The kernel of an operating system is a fundamental program which provides essential resources from the hardware of the computer to other programs. A kernel typically runs all the time and remains resident in main memory. The amount of functionality and resources which it provides vary tremendously. The [L4 Microkernel](http://l4ka.org/) is an attempt to create a very small high performace core which provides basic memory management, task and context switching, and little else.
-
-### <a name="The_Hurd"> The Hurd </a>
-
-The [Hurd](http://www.gnu.org/software/hurd/hurd.html) is a conglomeration of servers and programs which add additional functionality to a microkernel such that it is capable of utilizing additional hardware resources of the computer. It also provides a compatibility layer such that compiling higher level programs is essentially transparent; i.e. when you write a C program and compile it, you need only include standard headers and libraries and for all intents and purposes your generic program will build and run and you need never resort to unportable coding or access to hardware specific methods.
-
-For a typical user, The Hurd is intended to silently work in the background providing the services and infrastructure which are lacking in the microkernel but are required for higher level programs and libraries to operate.
-
-### <a name="GNU_Programs"> GNU Programs </a>
-
-For the user, this is what is desired: to run [GNU Software](http://www.gnu.org/). These programs provide a full featured, robust, and extremely effective operating system. A L4/Hurd system should be capable of compiling and executing most any software package available from GNU with little or no modification.
-
-Some readers may be familiar with GNU/Linux systems. When GNU/L4 is complete it should highly resemble the functionality of such systems as L4 and Hurd effectively replace the Linux kernel. The bulk of the software should be expected to run much as it does presently under the Linux kernel (or gnumach based GNU/Hurd systems).
-
-## <a name="Preparations"> Preparations </a>
-
-### <a name="Build_System"> Build System </a>
-
-There are no precompiled binaries for Hurd on L4 that I am aware of, so you will need to be able to compile the source code packages in order to experiment with it. While L4Ka will likely build on a variety of compilers and systems, the Hurd may prove troublesome unless it is built using recent GNU compilers and tools.
-
-I recently used [Debian Unstable](http://www.debian.org) (Sarge) with GNU gcc version 3.3, autoconf version 2.50, and automake version 1.8 to build the system with good results, although other similarly equipped systems with a good development environment, such as [Gentoo](http://www.gentoo.org) or [Slackware](http://www.slackware.com) are reported to work fine also.
-
-Generally, I would recommend building the packages using any very up-to-date GNU development system. I'm not going to say that you can't compile them using more exotic platforms, but I wouldn't be overly hopefull about it. I have no idea if Pistachio can be compiled under current gnuMach/Hurd systems it might be interesting to try it.
-
-### <a name="Making_a_Home_for_L4_Hurd"> Making a Home for L4/Hurd </a>
-
-Obviously you want to have a home for this little embryonic operating system. Currently, mine is using about 5M for the binaries and headers. If you want the source to reside with the binaries, then allow perhaps another 50M or so, but this is purely optional.
-
-At the moment, Hurd on L4 can't even see your hard drive, so all you need is a directory on some partition which is visible to the GRUB bootloader. A `/l4hurd` directory on your existing GNU/Linux system is probably fine for now.
-
-Howevever, if you have some spare disk space or an unused partition, you could optionally create a small partition for the system. This is totally unnecessary at the moment because L4/Hurd lacks hard disk drivers right now, but it is an option. Assuming that you have made some partition **X** with linux _fdisk_, set it to type 83 - Linux and use the following command to initialize it with the classic Hurd extensions:
-
-
-
-As noted, this is purely optional, in fact right now you can use any filesystem that GRUB can understand. You can even use TFTP to netboot the system. My current setup takes about 5M for the full install so obviously you don't need much space for this.
-
-### <a name="Boot_Loader"> Boot Loader </a>
-
-Just like regular GNU/Hurd, you need to use [GNU GRUB](http://www.gnu.org/software/grub/), the _GRand Unified Bootloader_ in order to boot the system. Hopefully you already have it installed, in which case adding the commands for L4/Hurd to your `menu.lst` is quite trivial.
-
-If you don't have GRUB installed, then you should probably take some time to get it set up. A good place to look for help is on the regular [Debian GNU/Hurd Installation Page](http://www.debian.org/ports/hurd/hurd-install) at the **3\. The Boot Loader** section.
-
-This is probably a bit superfluous, but you can even display a snazzy little graphic of some type on your GRUB boot menu. Here's a snip from the header of my `menu.lst` which demonstrates how to do this.
-
-    # menu for grub
-    splashimage (hd0,0)/boot/grub/debian.xpm
-    foreground bfbfe7
-    background 3f3f7f
-
-In the above example, my `debian.xpm` is just a 640x480 graphic in xpm format (which you can easily create with GIMP). It does add a bit of pizazz to your boot screen :-)
-
-In fact, I will attach a sample copy of my `menu.lst` here. It has lots of examples for booting a variety of operating systems in it. Remember that my hard drive partitions are unique to my system.
-
-* [[ATTACHURLmenulst]]: Sample GRUB boot menu
-
-## <a name="Building_Hurd_on_L4"> Building Hurd on L4 </a>
-
-### <a name="L4Ka_Pistachio"> L4Ka Pistachio </a>
-
-#### <a name="Getting_the_Sources"> Getting the Sources </a>
-
-I used the latest version of L4Ka, Pistachio version 0.4. It can be obtained from the following website:
-
-[L4Ka Pistachio Home](http://l4ka.org/projects/pistachio/)
-
-#### <a name="Compiling"> Compiling </a>
-
-Pistachio is designed to be compiled in a build directory which is independant from the source directory, so you need to create your build directory after unpacking the tarball. Furthermore, you need to pass a couple of special parameters to the configure program to set it up for use with Hurd. Here is what I did on my ia32 system:
-
-Note: I have my installation set up in `/l4hurd` and I am starting from within the Pistachio source top-level directory.
-
-    $ mkdir build
-    $ cd build
- Building and installing user-level libraries and servers/applications
-    $ ../user/configure --with-s0-linkbase=0x40000 --prefix=/l4hurd
-    $ make
-    $ make install
- Building and installing the kernel
-    $ make -C ../kernel BUILDDIR=`pwd`/kernel
-    $ cd kernel
-    $ make menuconfig
-    $ make
-    $ mkdir /l4hurd/boot
-    $ cp ia32-kernel /l4hurd/boot
-
-Hopefully everything worked and there were no problems. As usual, if the build fails then scrutinize the output from `configure` and install any missing libraries or development packages.
-
-### <a name="CVS_l4hurd"> CVS l4hurd </a>
-
-#### <a name="Getting_the_sources"> Getting the sources </a>
-
- You need to pull the L4 Hurd sources from the CVS tree on Savannah. The CVS access page is [The GNU/Hurd - CVS (module hurd-l4)](http://savannah.gnu.org/cvs/?group=hurd). In a nutshell, the following commands should retrieve the sources for you:
-
-    $ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co hurd-l4
-
-#### <a name="Compiling"> Compiling </a>
-
-Take a look at the README, compiling should be quite simple on any state of the art GNU development system. As per the README, and for my example, you would:
-
-    $ autoreconf -f -i -s
-    $ ./configure --enable-maintainer-mode --prefix=/l4hurd
-    $ make
-    $ make install
-    $ strip physmem/physmem
-
-    $ mkdir /l4hurd/boot
-    $ cp laden/laden /l4hurd/boot
-    $ cp wortel/wortel /l4hurd/boot
-    $ cp physmem/physmem /l4hurd/boot
-
-Currently (2004/08/09), physmem needs to be stripped to to avoid a memory conflict with wortel; this requirement may be fixed in the future.
-
-In my case it was slightly more complicated as Debian uses a wrapper system to enable the use of multiple versions of the GNU Autotools. In this case, the trick is to utilize some environment variables on the command line as follows:
-
-    $ ACLOCAL=aclocal-1.8 AUTOMAKE=automake-1.8 autoreconf -f -i -s
-
-As above, hopefully this will compile cleanly; otherwise, scroll up, read any error messages, and correct them by installing required packages of the proper version. Any bad compilation problems are most likely due to you either missing or using a wrong version of something.
-
-## <a name="Installing"> Installing </a>
-
-The binaries are now installed into `/l4hurd`. All that remains is to add an entry into GRUB's `menu.lst` in order to test it out. Here's an example from my system where I have `/l4hurd` on `/dev/hda9` in my Linux system:
-
-    title GNU Hurd on L4Ka Pistachio 0.4
-    root (hd0,8)
-    kernel /boot/laden -D
-    module /boot/ia32-kernel
-    module /libexec/l4/sigma0
-    module /boot/wortel -D
-    module /boot/physmem -D
-    module /boot/physmem
-    module /boot/physmem
-    module /boot/physmem
-    module /boot/physmem
-
-It might strike you a little odd that there are five physmem modules. This is done because wortel currently (2004/08/09) expects exactly five modules and the other modules (like the task server, auth server, etc.) have not been implemented yet. Therefore the physmem module is used as a dummy module.
-
-## <a name="Booting"> Booting </a>
-
-For me at least, I got some nifty messages and then it dropped into a simple debugging mode. As far as I know, thats all there is right now.
-
-Read, build, learn, code...
-
---todo: add more here.
-
-## <a name="Experimenting"> Experimenting </a>
-
-Well, thats why you did all of this, certainly not to do anything else. Use that debugger and get experimenting.
-
---todo: things to do wth the debugger
-
-## <a name="Conclusion"> Conclusion </a>
-
-If you followed these steps, you most likely have built and booted the latest version of Hurd on L4. I would encourage you to subscribe to the mailing list at the following URL and help in the efforts to get this nifty system up to speed:
-
-[l4-hurd mailing list](http://lists.gnu.org/mailman/listinfo/l4-hurd)
-
-And finally, this is a wiki, meaning that **you** have the ability to edit and modify this page. If you want to fix something, add more information, new sub-pages, whatever, feel free to do so. This is a great way to get a doc base up fast and keep it current, so use it like its supposed to be and have fun with Hurd on L4!
-
--- [[Main/BDouglasHilton]] - 20 Jun 2004
diff --git a/unsorted/HurdOnL4/menu.lst b/unsorted/HurdOnL4/menu.lst
deleted file mode 100644
index 3129ea74..00000000
--- a/unsorted/HurdOnL4/menu.lst
+++ /dev/null
@@ -1,55 +0,0 @@
-# menu for grub

-splashimage (hd0,0)/boot/grub/debian.xpm

-foreground bfbfe7

-background 3f3f7f

-
-timeout 30

-default 0
-

-title Debian Sid with Linux kernel 2.6.5

-root (hd0,1)

-kernel /vmlinuz root=/dev/hda2 vga=0x318

-

-title Debian Sid with old kernel

-root (hd0,1)

-kernel /vmlinuz.old root=/dev/hda2 vga=9

-

-title Microsoft Windows 2000

-rootnoverify (hd0,3)

-chainloader (hd0,3)+1

-

-title FreeDOS BETA 8.0

-root (hd0,0)

-chainloader +1

-

-title GNU Hurd on L4Ka Pistachio 0.4

-root (hd0,8)

-kernel /boot/laden -D

-module /boot/ia32-kernel

-module /libexec/l4/sigma0

-module /boot/wortel -D

-module /boot/physmem

-

-title Debian GNU/Hurd (gnumach)

-root (hd0,7)

-kernel /boot/kernel.gz root=device:hd0s8

-module /hurd/ext2fs.static --readonly \

-    --multiboot-command-line=${kernel-command-line} \

-    --host-priv-port=${host-port} \

-    --device-master-port=${device-port} \

-    --exec-server-task=${exec-task} \

-    -T typed ${root} $(task-create) $(task-resume)

-module /lib/ld.so.1 /hurd/exec $(exec-task=task-create)

-

-# title Debian GNU/Hurd (oskit-mach)

-# root (hd3,0)

-# kernel /boot/kernel-ide -- root=hd0s1

-# module /hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -T device ${root-device} $(task-create) $(task-resume)

-# module /lib/ld.so.1 /hurd/exec $(exec-task=task-create)

-

-# title Debian GNU/Hurd (oskit-mach w/ remote debugging)

-# root (hd3,0)

-# kernel /boot/kernel-ide -d GDB_COM=1 BAUD=9600 -- root=hd0s1

-# module /hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -T device ${root-device} $(task-create) $(task-resume)

-# module /lib/ld.so.1 /hurd/exec $(exec-task=task-create)

-

diff --git a/unsorted/PortToL4.mdwn b/unsorted/PortToL4.mdwn
deleted file mode 100644
index fb7f0004..00000000
--- a/unsorted/PortToL4.mdwn
+++ /dev/null
@@ -1,42 +0,0 @@
-**_The Hurd-L4 port has an [official page](http://www.gnu.org/software/hurd/hurd-l4.html) with more up-to-date information_** -- [[Main/OgnyanKulev]] - 05 Feb 2005
-
-A group of one being led by Neal H. Walfield is working on porting the Hurd to the pistachio version of the L4 microkernel. This second generation microkernel provides a significantly different API than the one offered by the Mach microkernel, a first generation microkernel. One of the primary goals of the project, outside of porting the Hurd to L4, is to reevaluate the current Hurd abstractions and consider how they can be modified to be more general.
-
-I have no web page describing my efforts. There is a mailing list[1].
-
-[1] <http://mail.gnu.org/mailman/listinfo/l4-hurd>
-
--- Neal Walfield, 18 Sep 2002
-
-Neal noted [1] that there are licensing issues being worked out so no code is yet released. His work was performed in the summer of 2002 at Karlsruhe.
-
-[1] <http://mail.gnu.org/pipermail/l4-hurd/2002-September/000673.html>
-
--- [[Main/GrantBow]] - 21 Sep 2002
-
-There are several important pages that are of interest for the L4 &amp; hurd communities.
-
-* Main L4 home page - <http://www.l4ka.org/>
-* Hurd on L4 - <http://www.freesoftware.fsf.org/l4hurd/>
-* Hurd on L4 - <http://savannah.gnu.org/projects/l4hurd/>
-* <http://www.informatik.uni-freiburg.de/~ganter/comp/l4-hurd.html>
-
--- [[Main/GrantBow]] - 22 May 2002
-
-<http://os.inf.tu-dresden.de/fiasco/>
-
--- [[Main/GrantBow]] - 24 Oct 2002
-
-There was [discussion in October 2002](http://mail.gnu.org/pipermail/l4-hurd/2002-October/000727.html) about the differences between Hurd on Mach and Hurd on L4 with some interesting URLs. In the thread Okuji [responds](http://mail.gnu.org/pipermail/l4-hurd/2002-October/000728.html) confirming his document is two years old and outdated by the directions that Neal is taking in furthering this effort. The URLs in that email might be helpful to those learning more about Hurd and L4 ideas that were considered yet abandoned.
-
--- [[Main/GrantBow]] - 04 Jan 2003
-
-A "Porting GNU Hurd to L4" website:
-
-* <http://www.gnu.org/software/hurd/l4-hurd.html>
-
--- [[Main/SebastianGabriel]] - 29 Sep 2003
-
-The only valid L4-Hurd link on <http://hurd.gnu.org> is <http://www.freesoftware.fsf.org/l4hurd/>
-
--- [[Main/JoachimNilsson]] - 29 Sep 2003