Y en el caso de Linux: