DisplayLink's USB external graphics card can successfully expand the screen with HDMI · Issue #13 · wu-hongjun/Hackintosh-Thinkpad-X1-Extreme · GitHub
Packed Pixels - No need for a USB-C HDMI dongle as Packed Pixels can accept a direct USB-C and HDMI connections. For Hackintosh and Linux users, as long as you have support
HackBook Lenovo IdeaPad S145 8th Gen CoofeeLake / Mojave / Catalina / Big Sur Full DSDT Patches - Installation Guides | InsanelyMac