For someone comfortable with programming in C (say, enough to pass tech interviews with the language) what are some good textbooks or other resources to learn more about operating systems.