http://www.barrelfish.org/
link