Дополню ответ
devalone
У Таненбаума есть замечательная книга
Операционные системы. Разработка и реализация в которой теория представлена на реальном примере разработки ОС
MINIX
К сожалению, печатное издание с 2007 года не переиздается, но в сети есть скан хорошего качества.
