Re: L4??

[Farid Hajji]

> Hello from Gregg C Levine
> What is, the L4? About all I know about that term, is that it's a
> Lagrange point in space. I vaguely have heard about it, someplace, in
> relationship to the base HURD project, but that's all. 

L4 is a modern microkernel, optimized for IPC performance.
It is actively developed and supported by the research
community. A port of the Hurd to L4 is under way (currently
at the design phase).

The specific L4 implementation that will be used is
L4Ka::Pistachio, available here:
  http://l4ka.org/projects/pistachio/

Most discussions on the Hurd/L4 port are taking place on
the l4-hurd@gnu.org mailing list. Archives:
  http://mail.gnu.org/pipermail/l4-hurd/

-- 
Farid Hajji. http://www.farid-hajji.net/address.html