friedrich12/DEOS

The distributed exokernel operating system

44 best points · 9 comments · 2 Hacker News posts · 3 GitHub stars · View on GitHub

Hacker News discussions

• DEOS: The distributed exokernel operating system (44 points, 9 comments, by friedrich12, 2018-01-11)
• DEOS: The digital exokernel operating system (2 points, 0 comments, by friedrich12, 2018-01-01)