(Native) HDMI does not work for me either on 6.12.0-17. But a Display Port monitor works with a USB-c dock/adapter. I tested this with a Lenovo USB-c dock, as well as with HDMI on another no-name USB-c adapter.
I guess the docks and adapters are using USB-c alt-mode. However, there seem to be bandwidth limitations for the USB-c port. I get 60Hz for 2560x1440 and only 30Hz for 4k.
2 Likes