vc4-kms-v3d dtoverlay prevents standard Raspi 7" display from working

[mikehaller]

Describe the bug
In the current (0.0.6, 0.1.0-M1) builds, we have a config.txt dtoverlay with the v4-kms-.. graphics driver. This works for HDMI displays, but does not work with the standard Raspberry Pi 7" display, which is installed on the DSI port (flat cable).

Display:
https://www.raspberrypi.com/products/raspberry-pi-touch-display/

To Reproduce
Steps to reproduce the behaviour:

1. Install non-HDMI display on Raspi
2. Boot Leda 0.0.6 or 0.1.0-M1
3. Display powers off after kernel is loaded (Boot screen is visible ofc)

Expected behaviour
Display stays powered on
Login shell appears

Leda Version (please complete the following information):

• Version: 0.0.6, 0.1.0-M1
• Machine: raspberrypi4-64

Workaround
Edit config.txt
Comment out or remove the dtoverlay line:

# COMMENT OUT OR REMOVE TO FIX DISPLAY
# dtoverlay=vc4-kms-v3d

[sophokles73]

I ran into this as well when trying to use an UHD HDMI display. Commenting out the dtoverlay=vc4-kms-v3d line fixed the issue.