4 ms·
seL4 does not have these kinds of errors. By shrinking the TCB, you make it possible to do hardcore verification. The challenge is in extending to larger system
by wbl 10y ago
seL4 does not have these kinds of errors. By shrinking the TCB, you make it possible to do hardcore verification. The challenge is in extending to larger systems and composition.
- snvzz 10y agoWorth noting that as of Genode's latest release, a lot of progress has been made in that regard.