3 ms·
Links to their Common Criteria EAL6+ certification for their microkernel: https://www.commoncriteriaportal.org/files/epfiles/nscib-cc-0618835-cr.pdf https://ww
by Veserv 3y ago
Links to their Common Criteria EAL6+ certification for their microkernel:
https://www.commoncriteriaportal.org/files/epfiles/nscib-cc-0618835-cr.pdf https://www.commoncriteriaportal.org/files/epfiles/nscib-cc-...
https://www.commoncriteriaportal.org/files/epfiles/huawei_h_st-v2.0.pdf https://www.commoncriteriaportal.org/files/epfiles/huawei_h_...
- zimmerfrei 3y agoThat's still described as a kernel for the TEE (like OPTEE is), it doesn't look like a replacement for Linux, which runs in the REE.