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