PINE64   ›   Pinebook Pro   ›   Linux on Pinebook Pro   ›   Kernel headers for stock Debian image

Thread Closed 
Kernel headers for stock Debian image
fader
Pine Initiate
**
Joined: Jan 2020
Posts: 1

Reputation: 0
#1
01-18-2020, 10:35 AM
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.)
Thread Closed 


Possibly Related Threads…
Thread Author Replies Views Last Post
  What's a good image to use now? [tutorial help as well] frank_philip 35 3,981 03-15-2025, 05:30 PM
Last Post: Der Geist der Maschine
  PBP does not start from postmarket OS image burnt to sd card zkajdan 21 2,385 03-10-2025, 01:55 PM
Last Post: wdt
  Official Debian support moonwalkers 64 72,252 07-08-2024, 01:40 PM
Last Post: Humid Stylus
  Debian on Pinebook Pro u974615 7 3,964 03-31-2024, 10:11 AM
Last Post: u974615
  Pinebook Pro upgrading from the factory image yamsoup 12 5,888 02-22-2024, 04:02 PM
Last Post: tllim
  install debian on pbp jsch 7 6,341 11-22-2023, 04:22 PM
Last Post: TRS-80
  How to mainline kernel on daniel thompson's debian installer? hellojack 14 11,441 09-07-2023, 09:38 PM
Last Post: Der Geist der Maschine
  Unable to install Debian Bullseye because of missing wifi firmware Pino64 7 6,471 07-15-2023, 02:58 PM
Last Post: u974615
  kernel module that supports usb-c hdmi alexandre 16 18,862 05-14-2023, 09:58 PM
Last Post: rathofkhan3
Question Debian (Vanilla) no output on display after Kernel update (6.0.8-1) as365n4 1 1,977 12-09-2022, 12:43 PM
Last Post: as365n4

Forum Jump:


Users browsing this thread: 1 Guest(s)