I'm considering setting up an RPi4 for my parents, but I need the Pi to run multiple images (such as a Unifi controller). To that end, I was looking at a Fedora aarch64 image running through an UEFI bootloader.
My question relates to the kernel, though. Does the standalone RPi4 image use the RPi Foundation's kernel, or the mainline image?