[ale] learning the kernel

[John Wells]

OS happens to be the one comp sci. course I haven't taken yet (not a true
comp. sci major, although I've backtracked and taken many of the courses).

I've got the dinosaur OS book and am planning to start it soon, but a
thought occurred to me:  I wonder if any books out there address OS theory
and then describe how linux accomplishes it?  That'd be even better.

Any books out there that do this?  In other words: here's the theory,
here's one particular implementation (linux).

Thanks!
John