Digging in the kernel dust

Posted Nov 10, 2017 9:32 UTC (Fri) by mpr22 (subscriber, #60784)
In reply to: Digging in the kernel dust by eternaleye
Parent article: Digging in the kernel dust

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