Android 4.0 could be a compelling option for some Raspberry Pi enthusiasts. According to the Raspberry Pi foundation, the Android port has support for hardware-accelerated graphics and video playback. Some features are still missing, however. It doesn’t yet support AudioFlinger, the Android sound system.