Hacker News new | ask | show | jobs
by jamesmd 1999 days ago
It’s in the article. 4.15 compiled specifically for the onboard SOC. It’s not a Debian kernel.