The Menix Operating System