Linux kernel programming examples
study linux kernel module development.
Source code of linux kernel development
A simple OS kernel for research, teaching, and fun.
Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system. Tested on Ubuntu 14.04.
Linux kernel source tree
Learning operating system development using Linux kernel and Raspberry Pi
Operating System OS/161 Kernel Development
Prototyping kernel development work outside mainline
A little x86 kernel I'm developing for getting knowledge in OS development