When Google revoked Huawei's Android license on May 20, it seems it set in motion Huawei's backup plan to move to its in-house OS, which was internally called HongMeng OS. Now we've learned that Huawei's own OS will likely be called Ark OS. The information comes from a reported trademark request by Huawei to the EUIPO (European Union Intellectual Property Office) for HUAWEI ARK OS, HUAWEI ARK, ARK and ARK OS, made on May 24. It's not clear yet at what stage of development Huawei's Ark OS is. But it's fair to say that the maker has been thinking about a separate OS since 2015. A recent...