[michalwilczynsk]

I agree DisplayPort would be nice, but unfortunately, almost all currently available RISC-V SBCs only have physical HDMI and MIPI DSI connectors. We have to support the hardware that actually exists on the board.