What are some small, free kernels with source?

Fortunately for us, there are lots of small, free kernels with source code in distribution. From "Educational" kernels (Xinu, Nachos) to the larger kernels such as Minix386, VSTa, Mach and Linux.

Here is a small (and by no means, complete) list of some kernels