3 ms·the far right of the security scale is C (+ isabelle?) again (seL4)by throwawaymaths 1y agothe far right of the security scale is C (+ isabelle?) again (seL4)