My alma mater (Portland State) also used xv6 for its OS class, and it was excellent.