Thanks for the suggestion. I’m trying to install it, but for now it’s not working. Installing yay gives
“aarch64-conda-linux-gnu-cc: error: unrecognized command line option ‘-m64’”
and installing the kernel directly gives an “unknown public signature /PGP error”.
I tried updating the keys with “sudo pacman-key -r 38DBBDC86092693E” but “makepkg -s” still complains about the same key so I kind of don’t know what to do now.