Huawei's HongMeng(Harmony) kernel appears to be EAL6 certified [pdf]commoncriteriaportal.org·3 pts·nicecars·0