Kinds of computer operating system : linux