Comment by throwawaypls

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