linux distro for devops