Raspberry Pi 4 Model B

Goal

I'd like a model for the raspberry pi 4 model B so that I can emulate it during CI.

Technical details

Additional information

There have been some attempts at implementing this a few years ago: see:

• https://gitlab.com/philmd/qemu/-/tree/raspi4_wip
• https://github.com/0xMirasio/qemu-patch-raspberry4

Thanks!