[UFO Chicago] The L4 micro kernel.

Brian Sobolak brian at planetshwoop.com
Wed Nov 9 16:06:38 CST 2005

Anthony LaMantia wrote:
> anyway, I was talking a bit about the ipc thread messaging in the l4
> kernel, I don't know if anyone cared much about it :-Pp but here is a
> link to some information about it the latest release is pistachio, this
> is replacing the mach kernel in GNU/Hurd .. and has very decent
> performance numbers.
> http://l4ka.org/projects/pistachio/
> I have it running with qemu on my fixed up laptop so if i hit up the
> metting on thrusday, i can show it and some of it's internals off.

I'd be interested in checking this out.  Is the idea that it's like the
old mainframe VM?

Also, what does "fully 32 and 64 bit clean" mean?  Does anyone advertise
themselves as 32 bit dirty?  (fade in wah-wah pedal....)


Brian Sobolak

More information about the ufo mailing list