Just thought I’d share this. You can get HDMI or DisplayPort working on your Hackintosh laptop by using a DisplayLink docking station or adapter.