@grgaud1
Do you have an Orange Pi 5 or an Orange Pi 5 Plus ?
The Orange Pi 5 has a Rockchip RK3588S processor.
The Orange Pi 5 Plus has a Rockchip RK3588 processor.
Notice the S suffix or lack of the S suffix on the two processors.
I think that the RK3588S and the RK3588 processors require different Kernels.
Archlinux ARM does not offer kernels and u-boot for either one.
BredOS is an Archlinux ARM based distribution, and they offer an image for the Orange Pi Plus
I agree that the RK3588 / RK3588S processors are a great setup.
I currently have a Radxa Rock 5B (RK3588) on EndeavourOS , KDE Plasma, and x11
By far the fastest & most capable ARM SOC I have used so far.
I am working on providing an image for the Radxa Rock 5B, but I have problems with VIdeo Drivers and Wayland at the moment which need to be worked out.
That will not work with Orange Pi 5 or Orange Pi 5 Plus.
Pudge