speck: the small, portable, efficiently-coded kernel

This was an amateur operating system kernel written in 2001-2002 (after a series of other kernels). It is no longer maintained, and was last compiled on a Debian i386 box circa 2002.