Our school used Pintos, a derivative of Nachos. Taking the OS course there was an eye-opener for a student as technically immature and inexperienced as I was at that time, but it was also a tremendous learning experience. I've always wished I could go back and retake that course, the 'right way'...with these resources, though, maybe there's a better way.