linux is a kind of operating systems