3 ms·seL4 is not doing badly in the performance side. It is even seen beating Linux in the slides.by snvzz 3y agoseL4 is not doing badly in the performance side. It is even seen beating Linux in the slides.