In my opinion a well rounded developer needs a good understanding of what happens at the OS level, even if he is never going to write a device driver. Tanenbaum's books are excellent for that.