Jide replied that the kernel is untouched, so if you want the kernel source for Remix OS just grab AOSP: <a href="https:&#x2F;&#x2F;forum.jide.com&#x2F;index.php?p=&#x2F;discussion&#x2F;563&#x2F;source-code-request" rel="nofollow">https:&#x2F;&#x2F;forum.jide.com&#x2F;index.php?p=&#x2F;discussion&#x2F;563&#x2F;source-co...</a>