I've commented below... there's an old book called "Linux Core Kernel Commentary" which is based on the Lion's book. It's a great read. There's a Xinu book whi

I've commented below... there's an old book called "Linux Core Kernel Commentary" which is based on the Lion's book. It's a great read. There's a Xinu book which is similar, but without the accompanying source code.