Note that [an open-source display driver for the Raspberry Pi 4 still has not hit mainline](https://www.phoronix.com/scan.php?page=news_item&px=VC4-DRM-BCM2711-Still-WIP).