There maybe a way around this, such as supplying a USB to HDMI module with it, if you have a suitable micro inside and can write the code to drive a USB 3.1 port.
https://www.lindy.co.uk/usb-thunder...type-c-to-4k-hdmi-2-0-adapter-converter-p9456
- Input: USB 3.1 Type-C connector - Male
- Output: HDMI Female
- USB 3.1 Gen 1 Standard
- Requires DisplayPort Alternate mode
- Max. resolution: 3840x2160@60Hz 8bit RGB
- Chipset: Parade PS176
- HDMI 2.0a compatible, up to 6.0Gbit/sec per TMDS data channel
- RGB format supported at 8/10/12 bits-per-component
- YCbCr format supported at 8/10/12 bits-per-component in 4:4:4/4:2:2/4:2:0 pixel format
- Supports TMDS scrambling for EMI/RFI reduction
- Supports SCDC (Status and Control Data Channel)
- Audio output formats: 8-ch LPCM, compressed audio and HBR
- 24-bit audio sample size, up to 192 kHz sample rate
- Supports HDCP 1.4 and HDCP 2.2 content protection
- Powered via USB port, no external PSU port
- Colour: Black
- Length (incl. housing): approx. 15 cm
Great find and idea Duncan!!