Comment by Veserv | Hacker News Reader

Top New Best Ask Show Jobs

Comment by Veserv | Hacker News Reader

Parent Full thread

Links to their Common Criteria EAL6+ certification for their microkernel:

https://www.commoncriteriaportal.org/files/epfiles/nscib-cc-...

https://www.commoncriteriaportal.org/files/epfiles/huawei_h_...

That'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.

Reply on news.ycombinator.com