Remixos Kernel

linux kernel source used in Remix OS