Hi Florian,
The following changes since commit 9123e3a74ec7b934a4a099e98af6a61c2f80bbf5:
Linux 5.9-rc1 (2020-08-16 13:04:57 -0700)
are available in the Git repository at:
https://git.kernel.org/pub/scm/linux/kernel/git/nsaenz/linux-rpi.git tags/bcm2835-dt-next-2020-09-08
for you to fetch changes up to 4564363351e2680e55edc23c7953aebd2acb4ab7:
ARM: dts: bcm2711: Enable the display pipeline (2020-09-08 18:28:23 +0200)
----------------------------------------------------------------
Maxime Ripard enables vc4 on BCM2711 (RPi4), which among other things
adds HDMI functionality (no 4K yet).
----------------------------------------------------------------