The L4Re Operating System Framework(l4re.org)
10 points by doener 2 days ago | discuss