[the_real_me]

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.

[addcninblue]

Hah did you go to Berkeley? We're still using Pintos here.