I'm not familiar with xv6, but I remember using Pintos for my undergraduate level Operating Systems course around a dozen years ago.

I still chuckle at another student's description of the class... "a crash course in enabling and disabling interrupts in order to prevent segfaults and pagefaults.