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