The kernel is from friendlyarm, http://www.arm9home.net/index.php