linux kernel source used in Remix OS - View it on GitHub