3 ms·Really high assurance code. Stuff like sel4 is used for.by UK-Al05 7y agoReally high assurance code. Stuff like sel4 is used for.