Linux kernel has been used also into cellphones ... Here some platforms :
http://elinux.org/Category:Mobile