Linux Mint - Linux Mint is one of the most popular desktop Linux distributions and used by millions of people.
Android - Android is an open source mobile operating system initially released by Google in 2008 and has since become of the most widely used operating systems on any platform.
Ubuntu - Ubuntu is a Debian Linux-based open source operating system for desktop computers.
MIUI - Xiaomi MIUI Official Global Site. MIUI is a customized Android ROM developed by Xiaomi for smartphones and tablets. MIUI Forum offers ROM downloads for 251 devices including Mi 6, Mi MIX 2, Redmi Note 4 and others.
LineageOS - Operating system for smartphones and tablet computers, based on the Android
Fedora - Fedora creates an innovative, free, and open source platform for hardware, clouds, and containers that enables software developers and community members to build tailored solutions for their users.