Linux history and distributions