ParentFull threadjamesmd·It’s in the article. 4.15 compiled specifically for the onboard SOC. It’s not a Debian kernel.View on HN