The source code for the kernel. Forked from lejos sdcard repo.