> is it mach 4 or l4 .can some body give me the details
>about the exact state of l4-Hurd combination .
Hurd/L4 is a project that aims to port the Hurd from GNU Mach to
the L4 microkernel. To be more precise, to the L4Ka::Pistachio
implementation of L4:
http://l4ka.org/projects/p
is it mach 4 or l4 .can some body give me the details
about the exact state of l4-Hurd combination .
The Hurd uses GNU Mach as its current kernel.
Cheers.
___
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinf
hello all,
is it mach 4 or l4 .can some body give me the details about the
exact state of l4-Hurd combination .
I have the sources for pistacchio.what is the normal compile time
___
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.g
