4 ms·It’s in the article. 4.15 compiled specifically for the onboard SOC. It’s not a Debian kernel.by jamesmd 6y agoIt’s in the article. 4.15 compiled specifically for the onboard SOC. It’s not a Debian kernel.