Raspberry pi not booting from updated kernel running Ubuntu 20.04. How to switch to updated kernel on Pi 4?

DanRan

4/28/24, 10:21 PM

I am running Ubuntu Server 20.04 on a Raspberry Pi 4. I recently did a sudo apt update && sudo apt full-upgrade on my server and it (maybe unsucessfully) update my kernel version.

When I run uname -a I get:

Linux mail.facl.xyz 5.4.0-1082-raspi #93-Ubuntu SMP PREEMPT Fri Mar 10 14:26:26 UTC 2023 aarch64 aarch64 aarch64 GNU/Linux

When I run dpkg -l | grep linux-image-.* I get:

rc  linux-image-5.4.0-1073-raspi                                5.4.0-1073.84                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
rc  linux-image-5.4.0-1077-raspi                                5.4.0-1077.88                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
rc  linux-image-5.4.0-1078-raspi                                5.4.0-1078.89                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
rc  linux-image-5.4.0-1079-raspi                                5.4.0-1079.90                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
rc  linux-image-5.4.0-1080-raspi                                5.4.0-1080.91                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
ii  linux-image-5.4.0-1081-raspi                                5.4.0-1081.92                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
ii  linux-image-5.4.0-1083-raspi                                5.4.0-1083.94                              arm64        Linux kernel image for version 5.4.0 on ARMv8 SMP
ii  linux-image-raspi                                           5.4.0.1083.113                             arm64        Raspberry Pi Linux kernel image

So it seems the my uname results of 5.4.0-1082-raspi, are not even installed on my raspberry pi Ubuntu. My Pi is still booting properly though.

How can I fix this and get my raspberry pi Ubuntu 20.04 to use the latest kernel of 5.4.0.1083.113?

124

0 + 3

kernel

raspberrypi

20.04

Archisman Panigrahi

4/28/24, 11:04 PM

Just to confirm, is your Pi still booting? Is it seemingly using a kernel that is not available on the repositories?

DanRan

4/28/24, 11:08 PM

@ArchismanPanigrahi Yes my pi is still booting. It is seemingly using a kernel that is not available on the repos. But it is still booting.

David

4/29/24, 8:11 AM

You are not running a Ubuntu kernel but a Raspi Ubuntu kernel.

Elon Musk

I sit in a Tesla and translated this thread with Ai:

EN: Raspberry pi not booting from updated kernel running Ubuntu 20.04. How to switch to updated kernel on Pi 4?

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.