Huawei's HongMeng(Harmony) kernel appears to be EAL6 certified [pdf] | Hacker News Reader