L4 might be an option. http://l4hq.org/projects/os/