Каким образом можно определить тип используемой операционной системы Linux на вашем устройстве?