2 ms·Operating Systems in Chips vs. Secure, Auditable OSes5 points by fsflover 1y agodeleted 1y ago[deleted]