BTW: I did a lot of testing of my own RPi4 port with QEMU which worked really good; I found a few pitfalls and documented it; should I PR that doc?

did you get anything useful out of qemu and raspi 4? I only used it for making sure aros booted... But, if it does not fit as a PR you can always share it here...I have asked @Kalamatee open up the aros wiki on github, which in my opinion would be good for such things

I did a lot of work with qemu's incomplete rpi4 target; you miss ethernet but besides this it was very helpful