RPi4 Kernel

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?

Yes the rpi kernel. I think Ubuntu uses upstream, so I guess that works too.

The RPi4 image doesn't do HW transcoding, right? So there shouldn't be much of a difference between RPi and mainline kernels, right?

Yes our image does HW transcoding.

Thanks.

I guess I'll use an RPi OS image, but use podman for the DVR and controller. Maybe even a local Cockpit install if my parents need to log in ...