linux types