Huawei currently has until August to figure out a replacement for Google's Android OS, provided the U.S. and China do not reach any trade agreements that negate the Huawei ban. This prompted Huawei to immediately ramp up efforts towards releasing a proprietary OS, which appears to be named ARK, according to a recent EUIPO patent filing.
https://www.notebookcheck.net/Huawei-registers-ARK-OS-trademark.422710.0.html