|
|
Log in / Subscribe / Register

Digging in the kernel dust

Digging in the kernel dust

Posted Nov 1, 2017 4:19 UTC (Wed) by eternaleye (guest, #67051)
In reply to: Digging in the kernel dust by halla
Parent article: Digging in the kernel dust

Hm, I'd argue that seL4 may be the best counterexample yet constructed in the software domain.

to post comments

Digging in the kernel dust

Posted Nov 10, 2017 9:32 UTC (Fri) by mpr22 (subscriber, #60784) [Link]

seL4 is provable because it is (compared to the mainstream macrokernels) tiny.


Copyright © 2026, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds