Adding a memory paging system to Xinu is one of the projects for the Graduate level OS course based on this book.
Edit: Purdue’s CS 503.
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.