Kernel headers for stock Debian image
#1
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.)


Messages In This Thread
Kernel headers for stock Debian image - by fader - 01-18-2020, 10:35 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Debian on Pinebook Pro u974615 7 1,286 03-31-2024, 10:11 AM
Last Post: u974615
  Pinebook Pro upgrading from the factory image yamsoup 12 1,807 02-22-2024, 04:02 PM
Last Post: tllim
  install debian on pbp jsch 7 4,144 11-22-2023, 04:22 PM
Last Post: TRS-80
  How to mainline kernel on daniel thompson's debian installer? hellojack 14 7,615 09-07-2023, 09:38 PM
Last Post: Der Geist der Maschine
  Unable to install Debian Bullseye because of missing wifi firmware Pino64 7 4,168 07-15-2023, 02:58 PM
Last Post: u974615
  kernel module that supports usb-c hdmi alexandre 16 14,767 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,298 12-09-2022, 12:43 PM
Last Post: as365n4
  Unsuccessful using danielt's unofficial Debian installer on the PBP joeDoe 2 2,378 12-09-2022, 05:04 AM
Last Post: ndp
  How can I install Debian? ImmyChan 1 2,082 10-19-2022, 03:09 AM
Last Post: alpopa
  when i close my laptop lid the screen doesn't turn on? (debian bullseye based) computerc 3 1,951 09-23-2022, 08:37 PM
Last Post: computerc

Forum Jump:


Users browsing this thread: 1 Guest(s)