DEOS: The distributed exokernel operating systemgithub.com/friedrich1244 pointsfriedrich128 years ago