Linux Kernel
Windows Research Kernel
其它
OSDev.org
Bran's Kernel Development A tutorial on writing kernels