I'm reading Operating Systems: Design and Implementation by Tanenbaum right now. He's damned clever and turns what could easily be very dry material into something quite readable and occasionally very funny.