2 ms·Secure (i.e. capable of high assurance) enough for seL4 to recommend them.by snvzz 4y agoSecure (i.e. capable of high assurance) enough for seL4 to recommend them.