Hello
I am trying to download the source files of the kernel in the Raspberry Pi OS (64-bit with desktop) that was released on December 5th, 2023. I did a dist-upgrade in the os. I see it is running the kernel version 6.1.73-1-rpt1 (2024-01-25).
Please let me know where I can get those source files so I can compile the kernel with a few debug options necessary for troubleshooting a V4L2 driver that is not working. Thank you!
I am trying to download the source files of the kernel in the Raspberry Pi OS (64-bit with desktop) that was released on December 5th, 2023. I did a dist-upgrade in the os. I see it is running the kernel version 6.1.73-1-rpt1 (2024-01-25).
Please let me know where I can get those source files so I can compile the kernel with a few debug options necessary for troubleshooting a V4L2 driver that is not working. Thank you!
Statistics: Posted by tagsense — Mon Feb 26, 2024 12:58 pm