¿Qué otros dispositivos utilizan un sistema operativo?