As first reported by Androidheadlines, the European Union Intellectual Property Office (EUIPO) on May 24th received and published multiple trademarks filings from the Chinese phone maker. Under the application, Huawei seek to patent the ‘Huawei Ark OS,’ ‘Huawei Ark,’ ‘Ark,’ and ‘Ark OS,’ suggesting the firm might end up adopting one of these names for its upcoming Android alternative OS. Although neither the listing nor the Chinese phone maker has confirmed the Ark OS will be the name of  the Chinese firm OS, but this definitely sounds goods, and could appeal to a more general audience than the hongmeng OS   that was earlier believed to be its upcoming OS.

https://www.gizchina.com/2019/05/27/huawei-os-may-be-called-ark-os-and-not-hongmeng/