The Spring 2008 semester course I took was very good--CS523, Advanced Operating Systems.

I got to work on a VMM project with a couple of great guys, and though we chose a very large project for the semester, we made some pretty good progress. We even learned a lot (the whole point of the project).

http://www.sneetches.net/scott/cs523/

Our Android VMM may be something that we'll want to finish, as it's a practical application of virtualization for handheld (ARM-based) devices.

Fun project!