Hello,
What is the correct procedure to switch from mainline kernel that comes with the base image of aarch64 to linux-rpi kernel? tried simply to replace it with pacman -Sy linux-rpi but after installation the pi no longer boots.
Am I missing something?