This weekend I bought a brand new IvyBridge system.
i7-3770k
GA-Z77X-UD3H
16 GB 1600 Mhz DDR3
New everything is working perfectly except the HD4000.
My system profile is Mac Mini, then HD4000 is recognised, but only with 64mb RAM, but only 1024x768 resolution.
Need I change the system profile...