kernel r3pek@gentoo.org a uClinux kernel for embedded mmu-less CPUs