¿Cuántos tipos de sistemas operativos hay para los dispositivos móviles?