News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.