They are probably using Xiaomi which is based in China, using AOSP with whatever mods they throw on it, which isn't based anywhere and is open source, or it could be Huawei too.