PINE64   ›   Pinebook Pro   ›   General Discussion on Pinebook Pro   ›   Debian: How to get kernel header files

Thread Closed 
Debian: How to get kernel header files
Der Geist der Maschine
Quidquid latine dictum sit altum viditur
****
Joined: Apr 2019
Posts: 282

Reputation: 41
#2
12-18-2019, 04:48 PM
(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
Thread Closed 


Messages In This Thread
RE: Debian: How to get kernel header files - by Der Geist der Maschine - 12-18-2019, 04:48 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Use SD to install new OS over pinebook debian Rudy558 10 24,054 03-09-2025, 11:17 AM
Last Post: davisthomas
  Games compilation howto on the Pinebook-pro (Manjaro Linux and Debian native) astr0baby 201 437,172 05-12-2023, 06:09 AM
Last Post: korreckj328
  Manjaro pinebookpro images with kernel 5.7.19 rfm83 11 11,059 01-22-2023, 10:05 PM
Last Post: rfm83
  Broken usb-c to hdmi with kernel 5.18+ rfm83 6 6,587 01-22-2023, 09:55 PM
Last Post: rfm83
  Installing Debian using files only from debian.org and encrypted root filesystem omarcomputing 0 1,938 10-08-2022, 11:03 AM
Last Post: omarcomputing
  minimal kernel .config? alchemist 5 9,034 08-15-2022, 06:28 PM
Last Post: svmhdvn
  Kernel panics on Youtube solostian 1 3,201 12-26-2021, 11:45 AM
Last Post: sirspate
  Main Stream Debian on Pinebook Pro ? bcnaz 4 6,085 08-22-2021, 09:11 AM
Last Post: wdt
  Screen refresh delay with kernel errors shawnanastasio 31 55,149 04-27-2021, 02:57 AM
Last Post: james64
  I/O errors from SD card slot? (Manjaro, kernel 5.7) zackw 5 12,350 10-28-2020, 01:16 AM
Last Post: 25519

Forum Jump:


Users browsing this thread: 1 Guest(s)