funcionando gestor de sistemas operativos