Which of the following operating systems is primarily designed for mobile devices?