L4 (website) is a fast, new, sexy ?MicroKernel that is missing some functionality needed by TheHurd.

See :