Some operating systems textbooks which came up on IRC today: Operating Systems: Three Easy Pieces, Dive into Systems, and Computer Systems: A Programmer’s Perspective.