Thunderbolt 3 ACPI patch for USB-C Video

[blacksd]

Hi - first of all, thanks for sharing this EFI - it does everything and I've never even seen my system so cool and quiet! I just miss one fundamental thing: external display. HDMI and miniDP are out of the picture since they're hardwired to the dGPU, but the thunderbolt card can relay a digital video signal. This is confirmed in Windows: the USB-C connector is attached to the iGPU I've found an EFI for a very similar Dell laptop model (https://github.com/leocg/Hackintosh-Dell-G5-5590) that boots and is able to deliver video output through USB-C; if you have some time can you take a look at their ACPI patches and perhaps merge the relevant portion in your codebase? I had a few trials but couldn't get anything to work. I could sponsor you, somehow 😄 thanks!