Re:DEOS: The distributed exokernel operating system
by jnwatson on Thursday January 11, 2018 @08:41PM
(#16129762)
No that's a different one. I guess the whole deus -> d*os is too hard to resist.
[ Parent
| on HN ]
There are no comments on this comment yet.