Which of the following options is a version of the Android operating system?