3 ms·Hopefully once they finally look into replacing the system, seL4 will be selected.by snvzz 3y agoHopefully once they finally look into replacing the system, seL4 will be selected.