jamieakers

Thank you for your assistance, I've learnt a lot and i really appreciate it.

You'll be delighted to hear your assumption is spot on correct... tried this and it booted absolutely fine, but no 4k output. Not sure what I was thinking, yes you're correct of course the internal display is connected to port 0 LVDS. Clearly been a long day at work! Thank you for your explanation here. This really helped and cleared up my confusion... and there seems to be plenty of confusion around these values on various sites around the web!! I tried this with framebuffer-fbmem set to 00009000 (19mb) and framebuffer-stolenmem to 00003001 (9mb) and still no luck with 4k video. Are there minimum values required to support 4k? Starting to think might just need to sort out the BIOS.

Thanks for looking at this and getting back to me so quickly! Tried booting without fbmem + stolenmem but KP and refuses to boot. Reinstating stolenmem gets the machine to boot without issue. As using OC 0.9.5 at the moment switched to the debug version per Dortania's instructions. Making me wonder whether the 256MB setting in BIOS does set DVMT. It's labelled "Total Graphics Memory" but if there's some way to check please let me know - I couldn't find an obvious way from searching. Attached the produced OpenCore logs. If any other files would be handy to investigate please do let me know. opencore-2025-09-30-193108.txt.zip

Had a good search, tried many things but cannot get 4K on my Lenovo X1 Carbon Gen 5 (Kaby Lake, Intel HD Graphics 620 ... NOT UHD Graphics 620). Setup using guide here: https://github.com/anathonous/X1C5-Hackintosh-OpenCore-MacOSX/ with my only changes being to use Heliport and itlwm.kext, and upgrading to latest versions of WhateverGreen.kext and AppleALC.kext. If it makes any difference I'm using a Dell U3219Q connected over USB-C (DP alt-mode) and it's recognised and working at 1440p, USB devices connected to the monitor also work fine (the USB isn't hotplug, not fussed about this. Audio also doesn't work but again not fussed). Booting from an Ubuntu USB stick and I get 4K - ruling out any issues with the cable or hardware. DVMT is also set at 256MB in BIOS so I don't think there's an issue there. Things I have tried... - enable-hdmi20 on and off in config.plist. No effect. - manually specifying the port as being DP in config.plist with framebuffer-con2-type (con1 is the internal panel). Black screen trying this. - a variety of AAPL,ig-platform-id taken from the WEG guide. No effect. - igfxmpc in boot-args. No effect. - igfxtypec (just in case) in boot-args. No effect. I've also validated the EDID reported to macOS is correct (checked using IORegistryExplorer) in terms of the supported resolutions. All help gratefully received, thank you! I'd prefer to get it working over USB-C but if it has to be HDMI so be it. config.plist.zip