Re:SeL4 Whitepaper [pdf]
by kjs3 on Sunday December 27, 2020 @10:37PM
(#25556467)
This. Unfortunately, we haven't progressed much beyond Windows NT getting a TCSEC rating: first, remove networking. And then the floppy/cdrom. Then go down the list of other things you can't have.
[ Parent
| on HN ]
There are no comments on this comment yet.