4 ms·Let me guess. The telcos didn't use seL4.by snvzz 2y agoLet me guess. The telcos didn't use seL4.