[UFO Chicago] The L4 micro kernel.
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
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