Re: l4-hurd page update

[Farid Hajji]

Hi Zeno,

> Hi guys,
> here is a new version of l4-hurd.html.
> If there are no complaints about it, I'll send it
> to address@hidden

>   <li><em>To do before starting the port:</em>
>   <ul>
>     <li>A pthreads implementation for both Mach and L4.</li>
>     <li>Hurd must be ported to pthreads (instead of cthreads).</li>
>     <li>A C library for L4.</li>
>   </ul></li>
Probably, the most promising way would be to retarget the Hurd to a
virtual kernel (the VK-approach) and then port this VK to misc.
backends like Mach, L4 and even existing POSIX-Systems (e.g. for
ease of development). Please see the recent discussion on l4-hurd
(there's a link to the basic idea in there). I'm working on a detailed
plan/schedule and will post that to l4-hurd in the next days or so.

It may be a good idea to cooperate with the Dresden and Karlsruhe
teams, since a ported Hurd (or a ported VK) would be an important
client to L4 and would help them improve L4 development and research
further. But we need to do our homework first (e.g. by retargetting
the Hurd).

> <a href="#TOCtools" name="tools"><h3>Tools</h3></a>
> <ul>
>   <li>Farid Haji wrote a patch for using <a 
> href="http://bochs.sourceforge.net";>Bochs</a>
>       to boot L4Ka, there is a <a 
> href="http://home.kamp.net/home/farid.hajji/l4ka-bochs/";>page</a>
>       containing instructions how to use it.
>   </li>
> </ul>
s/Haji/Hajji/

Please add the recent links provided by Michael Hohmuth on his old
Mach-over-L3 work (the paper beleg.ps, the pages from jean wolters
and the ftp links to the libraries written for beleg.ps and also
the upcoming DICE IDL-compiler):

  http://os.inf.tu-dresden.de/~hohmuth/prj/lites-on-l3/
  http://www.inf.tu-dresden.de/IBDR/lsbs/L3/UNIX-Emulation/techreport.html
  ftp://ftp.inf.tu-dresden.de/pub/os/L3/devel/l3-mach_emul.tar.gz
  ftp://ftp.inf.tu-dresden.de/pub/os/L3/devel/libl3-980130.tar.gz

  http://os.inf.tu-dresden.de/~ra3/DICE/

some more links (L4Linux internals, Pthreads... Thanks to Michael Hohmuth):
  http://os.inf.tu-dresden.de/~hohmuth/prj/linux-on-l4/if/
  http://www.usenix.org/events/usenix01/freenix01/wood.html
  http://oss.software.ibm.com/developerworks/opensource/pthreads/

The uthread library from Birrel (present in e.g. FreeBSD) also deserves
to be looked at more closely. C-Threads could also be an N:M candidate,
but I'll have to study that code carefully first. Could C-Threads be
augmented with a pthreads-wrapper (the front-end side) and a backend
that would use L4-threads instead of Mach-threads? Hmmm...

Regards,

-Farid.

-- 
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany  | address@hidden
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.