3 ms·seL4's mixed criticality (MCS) kernel and the time capabilities absolutely are the state of the art.by snvzz 5y agoseL4's mixed criticality (MCS) kernel and the time capabilities absolutely are the state of the art.