4 ms·
>AFAIK no such correctness proof for the C APIs exists There's a whole proven correct kernel: http://sel4.systems/ http://sel4.systems/
by GoblinSlayer 5y ago
>AFAIK no such correctness proof for the C APIs exists
There's a whole proven correct kernel: http://sel4.systems/ http://sel4.systems/
- volta83 5y agoSeL4 is not the Linux kernel and it doesn't use RCU. So yes, there is a correctness proof for a completely different operating system that does not use the one thing we are talking about here.