uClinux kernel for an iPod