[UFO Chicago] The L4 micro kernel.

[Anthony LaMantia]

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.

-Anthony