alt Hacker NewsIt's just you. seL4, CheriBSD, etc., do not fit your description. Neither did KeyKOS itself. You're presumably looking at research prototypes.
It's just you. seL4, CheriBSD, etc., do not fit your description. Neither did KeyKOS itself. You're presumably looking at research prototypes.
I'd also note capros doesn't fit that description either. I don't know that there were examples that ran more than a single process.
That's probably not true, for anything relying on drivers since user mode drivers are basically processes there... but in the way that people might think of a process.