anchor.diff:            };
           };
         };
  +
  +      services.xserver.displayManager.sessionPackages = [ pkgs.libsForQt5.plasma5.plasma-phone-components ];
       })
     ];
   }
  
positive.code:         with libsForQt5;
          with plasma5; with kdeApplications; with kdeFrameworks;
          [
            plasma-phone-components
            plasma-nano
            pkgs.maliit-framework
            pkgs.maliit-keyboard
          ];
  
        # The following services are needed or the UI is broken.
        hardware.bluetooth.enable = true;
  
negative.code:       default = false;
        description = ''
          Enable support for running the Plasma Mobile shell.
        '';
      };
  
      mobile.installRecommendedSoftware = mkOption {
        type = types.bool;
        default = true;
        description = ''
          Installs software recommended for use with Plasma Mobile, but which
          is not strictly required for Plasma Mobile to run.
        '';
      };
    };
  