Here you can find lists of great Operating Systems books are or have been used to teach courses at UCLA.
By: Remzi H Arpaci-Dusseau, Andrea C Arpaci-Dusseau