> 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 [EMAIL PROTECTED] mailing list. Archives: http://mail.gnu.org/pipermail/l4-hurd/ -- Farid Hajji. http://www.farid-hajji.net/address.html _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd