PINE64
Kernel headers for stock Debian image - Printable Version

+- PINE64 (https://forum.pine64.org)
+-- Forum: Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=111)
+--- Forum: Linux on Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=114)
+--- Thread: Kernel headers for stock Debian image (/showthread.php?tid=8832)



Kernel headers for stock Debian image - fader - 01-18-2020

I'm trying to build a couple of kernel modules for the Pinebook Pro but haven't been able to find the kernel headers.  Are there debs of these anywhere?

(I suspect this will be fixed with the mainline kernel work moving to 5.x but I haven't yet found the specific 4.4.207 fork used on the Pinebook Pro.)