Huawei's HongMeng(Harmony) kernel appears to be EAL6 certified [pdf]commoncriteriaportal.org3 points·nicecars··0 commentsOpen articleSaveView on HN