Für den High Dpi Modus von OS X ist die 4k Auflösung aber eigentlich zu gering. Also bleibt nur, die Auflösung

nativ zu fahren - dafür wäre mir die Darstellung der GUI dann aber zu klein.
Alles in allem ist die 4k Auflösung doch nicht wirklich brauchbar als Desktop Monitor.