Raspberry Pi port, piCore-16.0 is available!
2. Download and untar Linux kernel 3.0.3 patched for Microcore Linux