libera/#devuan-arm/ Wednesday, 2023-02-15

Lucahi guys17:38
Lucai have a question for you17:38
Lucais there any repo i can add for updating raspberrypi 4 kernel ?17:38
gnarfacestick around, someone might know, but it's a slow channel so you might have to be patient17:40
Lucaok17:40
Lucameanwhile i'm trying to compile kernel 6.2 by myself17:40
Lucalast time i did it we are on kernel 2.617:40
Luca*were17:41
gnarfaceah17:41
gnarfacewell make sure to install the "build-essential" package17:41
gnarfaceand also apt-get build-dep for the kernel package itself17:41
gnarfacethat should get most the stuff, you might need to add a couple things manually still17:42
gnarfacei seem to often have to install bison/yacc individually for example17:42
bb|hcbLuca: As far as I am aware, there is no such repo. Images for raspberry come with a kernel and modules managed out of the distro and you can only update the other packages via apt. There are tools (like rpi-update) that update the kernel, but I remember cases where this one would fail - go for it only if you can easily reinstall22:13
c0rneliusThere is a script for updating the kernels called `fetch` but its now EOL. The short of it is, people need to build one them selves if they wanna update. Probs be a good idea to touch base with the img maintainer and see if the kernels that are built when new images are generated can be uploaded somewhere for users.22:22
bb|hcbYes it is a good idea. BTW. now I see that rpi-update is no longer maintained by hexxeh but became an official raspbian thing22:28

Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!