2 ms·
Mach is still slow, but Liedtke (rip) gave us L4. Linux is still obsolete. Today seL4 carries the flag.
by snvzz 2y ago
Mach is still slow, but Liedtke (rip) gave us L4.
Linux is still obsolete.
Today seL4 carries the flag.
loading thread…
2 ms·