[UFO Chicago] The L4 micro kernel.

Anthony LaMantia alamantia at midphase.com
Tue Nov 8 15:58:23 CST 2005

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.


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.


More information about the ufo mailing list