.nix

    services.xserver = {
        xrandrHeads = [
            "DFP6"
            "CRT1"
        ];

        # The below is a workaround, because SDDM inexplicably results in a masked display-manager.service on this system.
        displayManager = {
            lightdm = {
                enable = true;
            };

            sddm = {
                enable = pkgs.stdenv.lib.mkForce false;
            };
        };
    };