Does anyone know if XINU is used in Purdue's undergrad OS classes these days? I went there and it was not mentioned even once (took OS around '04). Most of what we did was in Nachos[1]

1: https://en.wikipedia.org/wiki/Not_Another_Completely_Heurist...