Evaluate porting potential to several aarch64 boards?

[bSchnepp]

Something that would be nice to have is to port the project to run on a real device.
Some good candidates are:

• RockChip RK3399 (via NanoPi M4, RockPi 4, etc.). This chips is fairly widespread, and seems to have fairly normal peripherals, but requires new drivers for the GPU, UARTs, and GIC
• NVIDIA Tegra X1 (via Jetson Nano, Tegra X1, etc.). This chip (seems to?) have a GICv2 already, and nouveau could probably be ported for display output. The boards themselves are also fairly inexpensive.
• Raspberry Pi 4 (via Raspberry Pi CM4). This is the easiest real hardware to get, but the boot process is somewhat weird for pantheon, and the GPU is entirely unknown. It does already have a GICv2 and the same UART, only the GPU driver has to be created. It also supports a fairly normal display output for software rendering as well. However, the PCIe controller appears to be weird, in that it's not QEMU-compatible.

If there are any other possibilities, I'd like to know what else could be targetted!