I took the CS OS grad. course at Purdue last semester that taught OS principles using XINU. Overall, I think the OS is great. Used primarily for embedded systems (routers were the common example) it was simple, quite extensible and fun to learn.