The Linux kernel for c6x platform