I took the course at Purdue that built on Xinu (CS 354, Operating Systems) — Xinu is really just used for teaching purposes. Doug Comer (the creator of Xinu) was my favorite professor — it was inspiring to hear from someone who was pretty close to the development of the Internet and TCP/IP in the 70s (https://en.wikipedia.org/wiki/Douglas_Comer).