[UFO Chicago] The L4 micro kernel.

[Brian Sobolak]

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


--
Brian Sobolak
http://www.planetshwoop.com/