[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: L4??

From: Farid Hajji
Subject: Re: L4??
Date: Thu, 11 Sep 2003 09:09:37 +0200

> 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:

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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]