3 ms·
And all of this runs on a 1M+ loc kernel ;)
by StreamBright 8y ago
And all of this runs on a 1M+ loc kernel ;)
- azinman2 8y agoExactly. Nothing is built in a vacuum. It’s also running on top of cpu firmware, etc
- nickpsecurity 8y agoThere are some counterexamples that worked, though. In Verisoft, they did a whole stack from verified CPU to microkernel to simple OS and compiler. Everything was necessarily simple. http://www.verisoft.de/PublicationPage.html http://www.verisoft.de/PublicationPage.html The high-assurance community also did a low-complexity GUI: https://www.acsac.org/2005/papers/54.pdf https://www.acsac.org/2005/papers/54.pdf