XINU is used for CS354, the undergrad CS OS course (and has been for at least the last 2 years). A different OS is used for the undergrad ECE OS course; I thin

XINU is used for CS354, the undergrad CS OS course (and has been for at least the last 2 years). A different OS is used for the undergrad ECE OS course; I think it may be Nachos, but I'm not sure.