Linux Kernel Development By Robert Love and Operating Systems Concepts by Silberschatz are great resources.