Hacker News new | ask | show | jobs
by garrybelka 3202 days ago
L4 might be an option. http://l4hq.org/projects/os/