A discontinued open-source operating system for mobile devices, based on the Android mobile platform.