Which is a microkernel based OS, with a userspace based on ArkTS, C, C++ and eventually Cangjie.

Quite interesting for us OS nerds, less so for those that only care about UNIX on their phone.