On the same train of thought, Barrelfish is a pretty cool project... http://www.barrelfish.org/