Linux 3.12.13 customized for the Rav processor tile of SHMAC