Minix on the iPod: where Linux started