Il libro di Andrew S. Tanenbaum è il migliore in circolazione.
Se non ricordo male ce ne sono diversi da più teorici a più pratici.

PS: sul mio sito ci sono anche degli appunti presi da "Moderni Sistemi Operativi" (abbastanza teorico).