¿Cómo funciona el sistema operativo Linux?