libera/#devuan-arm/ Sunday, 2025-03-23

rktaI have an old RPi4 here and today I noticed that the kernel is quite outdated. uname says I'm running 5.10.17-v8 #1 SMP PREEMPT. aptitude search \~ilinux-image shows raspberrypi-linux-image. When I try to install linux-image-rt-arm64 I get cryptsetup: ERROR: Couldn't resolve device /dev/root. Full error log here: http://rkta.de/pub/kernel.err How can I get this RPi to have a current kernel? I need to run wireguard on it.09:49
rktaThis is a daedalus.09:50
gnarfacehmm, you sure your sources.list is right?09:59
gnarfacei'm not sure if that's the right package name for the kernel09:59
gnarfacei thought some of the other images anyway didn't even have a packaged kernel, so i dunno if this is necessarily even expected to work10:00
rktahttp://rkta.de/pub/sources.list10:01
rktaI'm also not sure what would be the right image name, hence I'm asking here.10:04
rktaI would have expected that the raspberrypi-linux-image would pull in a recent image.10:08
gnarfacesorry, if you want me to actually check the sources.list for you just /msg it to me or use paste.debian.net10:25
gnarfacei thought the right package name would start with something like linux-image-6.*10:26
gnarfacelinux-image-6.1-arm64 or something like that10:26
gnarfacei could be wrong but i thought there weren't actual raspberry pi kernels in the debian repos, you'd have to get it from raspbian10:27
gnarfaceand that might work10:27
gnarfacenot sure10:27
gnarfaceit should be possible to build your own from the source package too10:27
gnarfacebut i don't know where to get the non-free rpi firmware stuff10:28
gnarfacehmm, just saw your sources.list, looks fine10:29
gnarfacealthough, maybe if you're looking for raspberrrypi specific stuff, they'd be in non-free or non-free-firmware?10:29
rktaThis is build from a devuan RPi image, not upgraded debian or something.10:30
gnarfaceif you changed "main" to "main contrib non-free non-free-firmware" you'd be sure you're seeing everything10:30
gnarfacebut, mind you, you might not want to actually do that10:30
gnarfacedo this: apt-cache search ^linux\-image\-6\.110:32
gnarfacewhat does that return?10:32
rktaA long list of kernel images.10:33
rkta84 lines10:33
gnarfaceis one of them called linux-image-6.1.0-32-arm64?10:33
gnarfaceor maybe linux-image-6.1.0-32-aarch64?10:33
rktathere is linux-image-6.1.0-32-arm6410:34
gnarfacemaybe that one10:35
rktaBut is linux-image-arm64 not only a meta package for the latest version? linux-image-arm64 shows the same error as the -rt- one.10:36
gnarfaceif, like with the rpi1, there are broadcom proprietary closed-source firmwares required for certain features, it might lack those...10:36
gnarfacehmm, i don't think that's a meta package that always points to the latest version, try it10:37
gnarfacemabye also remove the linux-image-arm64 meta-package10:37
gnarfaceyou have a recovery path if this doesn't work, right?10:38
gnarfacelike a backup or something?10:38
gnarfaceif you stick around longer and talk to someone who actually has one of those things it might help10:39
rktarecovery would be to reinstall, or fix it in a chroot.10:39
rktalinux-image-arm64 is not installed, it stopped because of the errors.10:39
gnarfacewhat we're gambling on here basically is that the common arm64 kernel is enough to boot a rpi4... with some of the arm boards there was no packaged kernel in the official repos so no upgrade path besides building your own10:40
gnarfacei forget if this was one of those, i thought it might not be, so that linux-image-6.1.0-32-arm64 one really might work10:40
gnarfaceif not, maybe just try stealing the raspbian 9one10:40
gnarface*one10:40
gnarfaceor stick around to talk to someone who has done their own build of it10:41
rktaI'll stick around. Might be afk, but will be connected.10:43
rktaIf it is too much trouble, I'll use the official RPi images...10:43
davespFWIW, on my Rpi 4 also running daedalus, using synaptic to search for just "linux-image" returns 92 packages; of those, the only one installed is "linux-image-bcm2711-rpi-4".12:49
rktadavesp: What version kernel is provided with this? What does uname -r show? I can't find that package here.12:52
rktaTheres some RPi repos at http://archive.raspberrypi.org/debian/, would it make sense to get the kernel from there or is mixing sources a recipe for disaster?13:30
gnarfaceif you just get the kernel and no other packages, it might be fine13:53
gnarfaceif you're paranoid it shouldn't be hard to just copy the kernel binary and modules themselves out of it though13:54
rktaI'm flashing a newer image and will have a look how it looks there15:17
gnarfaceoh you maybe need to copy some firmware from /boot too16:37
gnarfaceor /lib/...16:37
gnarfacei'm pretty sure it's been done successfully before though16:37
davesprkta "uname -r" says "6.1.93".  Also, my four sources.list lines are "stable", "stable-updates", "stable-proposed-updates", and "stable-security", and all four have "main non-free-firmware non-free contrib".16:44
rktaI'm moving my old home to the newly flashed image. lets see if I can work with the new image. If not, I'm going to switch to official images, I guess.16:58
davespIf my notes are correct, I created my Rpi 4 with "rpi-4-devuan-daedalus-6.1.93-arm64-ext4-2025-01-05-0317.zip".  IIRC, "linux-image-bcm2711-rpi-4" came with that image.17:28
davespRegarding rkta's initial question, "How can I get this RPi to have a current kernel?", that's something I'd like to know, too, especially if RPi users need to "roll their own" kernels.19:38

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