How to switch to mainline kernel in Armbian 23.11 on Orange Pi 5 ?

[adr3nal1n27]

Hi,

 

The release notes for Armbian 23.11 state, under Key Improvements in This Release, "Mainline Kernel for RK3588 with experimental HDMI support."

 

I am currently running the default 5.10.160-legacy-rk35xx kernel

 

If I wanted to switch to and try out the mainline kernel for RK3588 with experimental HDMI support, would I do something like this:

sudo apt install linux-image-collabora-rockchip-rk3588

 

After testing, If I want to rollback to the default legacy kernel, what are the steps involved?

 

Apologies if there are instructions elsewhere that cover this.

 

Thanks in advance for any guidance.

 

Edited November 30, 2023 by adr3nal1n27

[Werner]

Try using armbian-config for switching kernels

[adr3nal1n27]

Ah ok excellent, thanks very much for your help.

[TheFlash]

Hi, i have tried armbian-config -> System -> Other but doesn`t work

[adr3nal1n27]

Just for the reference of others who are currently running the legacy 5.10.160 kernel and wanting to switch to kernel 6.7 (As this is not currently selectable in armbian-config >> System >> Other "Switch to other kernels"

 

Note that I tested this on a clean sd card install of Armbian Bookworm CLI with kernel 5.10

 

Here is what I did:

sudo apt install linux-image-edge-rockchip-rk3588 linux-dtb-edge-rockchip-rk3588 linux-u-boot-orangepi5-edge

sudo reboot

 

After reboot, uname -a now reports: 

Linux orangepi5 6.7.0-rc1-edge-rockchip-rk3588 #1 SMP PREEMPT Mon Nov 13 00:19:07 UTC 2023 aarch64 GNU/Linux

 

Thanks very much armbian team for an excellent distribution.