Indeed. Only internal 4k display detected. [ 6.416] (II) modeset(0): Output eDP-1 connected [ 6.416] (II) modeset(0): Output HDMI-1 disconnected [ 6.416] (II) modeset(0): Using exact sizes for initial modes [ 6.416] (II) modeset(0): Output eDP-1 using initial mode 3840x2160 +0+0