This was the textbook for my intermediate operating systems class, and I'd second this recommendation.