Might you or anyone else have a link to a graduate level course that covers adding these features to Xinu?
There is also an Operating systems course at Marquette University based around Xinu. That one is for undergrads though and based on a version targeted for an embedded MIPS processor so I don't think it covered paging but I never took that one so I'm not sure.
Edit: Purdue’s CS 503.