PINE64
Debian: How to get kernel header files - Printable Version

+- PINE64 (https://forum.pine64.org)
+-- Forum: Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=111)
+--- Forum: General Discussion on Pinebook Pro (https://forum.pine64.org/forumdisplay.php?fid=112)
+--- Thread: Debian: How to get kernel header files (/showthread.php?tid=8589)



Debian: How to get kernel header files - crusty - 12-18-2019

Hello:

I want to compile a driver for an external long range wifi and it needs the kernel header files.
The synaptic package list for Debian installs for kernel version 4.9 and not 4.4 as required.

Thanks,

Crusty


RE: Debian: How to get kernel header files - Der Geist der Maschine - 12-18-2019

(12-18-2019, 04:43 PM)crusty Wrote: I want to compile a driver for an external long range wifi and it needs the kernel header files.
The synaptic package list for Debian installs for kernel version 4.9 and not 4.4 as required.

Code:
cd /usr/src
git clone https://github.com/mrfixit2001/rockchip-kernel.git linux



RE: Debian: How to get kernel header files - muma - 01-08-2020

Hello, hello,

I have a similar problem. I am trying to build a driver for a wacom tablet. This was very simple with other distros/ hardware. With the PBP I encounter the unavailability of the kernel header problem. Because I am quite inexperienced I do not know what to do to integrate the headers into the system after cloning the git repository. I already played a little bit with some scripts from the git repo but have not been successful. I would be grateful for any advice.


Cheers,

Muma