Experiences from turning Linux into an instructional operating system | Publicación