Think OS的文档及配套代码:操作系统简介,作者:Allen Downey
Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.