3 ms·
SeL4 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
by volta83 5y ago
SeL4 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.