The officially official Devuan Forum!

You are not logged in.

#1 2023-12-12 10:05:12

Registered: 2022-01-04
Posts: 5  

Updating kernel (Raspberry pi 2)

Hello. I want to use wireguard with my raspberry pi.

Installing the wireguard package requires another kernel - 6.1.0-14-rt-armmp.
I installed it and removed the current 6.1.64 kernel. However

uname -r

stil returns 6.1.64.

After some research I found that the actual booted kernel is the one in


. I believe that apt doesn't generate this specific img file (it generates the initramfs files though...).

I wonder how to generate the kernel7.img file without building custom kernel myself? Probably from the initrd.gz file? Or just putting vmlinuz-6.1.0-14-rt-armmp as kernel7.img ?

Otherwise I find these instructions proper for the task: … ernel.html


#2 2024-03-28 18:23:57

Registered: 2022-09-15
Posts: 8  

Re: Updating kernel (Raspberry pi 2)

I am not convinced that adopting the .armmp kernel is your best course.

Please see where I  posed a similar question. I will let you read that thread and judge whether your situation is the same.   

Wireguard works well with both the .armmp kernel and the kernel optimised for RPi.

I concluded it was better to stick with the optimised kernel but it may be horses for courses!


Board footer