Results 1 to 4 of 4

Thread: PI 4 + 2020.3 32bit image. Need kernel source (linux-source-4.19)

  1. #1
    Join Date
    2020-Oct
    Posts
    1

    PI 4 + 2020.3 32bit image. Need kernel source (linux-source-4.19)

    Currently running the 2020.3 image on my Raspberry PI 4. Would like to modify the kernel for this image. The image shows a version of 4.19.118, however couldn't find the linux-source to match this version. All repo branches (rolling, last-snapshot, dev seems to only have linux-source-5.5 and up. Where could I find the kernel source for this image.

    Thanks for your help!

  2. #2
    Join Date
    2020-Nov
    Posts
    2
    I have the same problem with 64bit image. Have you found the kernel source ?

  3. #3
    Join Date
    2020-Sep
    Posts
    2
    Let me ask you why you want to change the kernel of the image?

  4. #4
    Join Date
    2020-Dec
    Posts
    2
    Hello,
    did you make progress?
    I would also be interested in such a solution...

Similar Threads

  1. Replies: 3
    Last Post: 2017-09-08, 08:27
  2. How to add usb wireless drivers to kernel source
    By discipuloosho in forum NetHunter Development
    Replies: 5
    Last Post: 2016-10-25, 04:51
  3. procinfo.h is not with the kernel source.
    By jothichalam in forum Installing Archive
    Replies: 0
    Last Post: 2015-11-09, 06:33
  4. Building Nethunter from source with custom kernel?
    By BreakTheMesh in forum Building NetHunter
    Replies: 7
    Last Post: 2015-06-23, 17:24
  5. Note 10.1 Kernel Source???
    By andreotti09 in forum Building Archive
    Replies: 0
    Last Post: 2013-05-04, 15:15

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •