3 ms·
seL4 is great in theory, and formal verification is awesome, but I read some of their code recently the implementation leaves something to be desired.
by turminal 4y ago
seL4 is great in theory, and formal verification is awesome, but I read some of their code recently the implementation leaves something to be desired.