anchor.diff:          boot.hardwareScan = true;
   
           # Sets the linux kernel version
  -        boot.kernelPackages = pkgs.linuxPackages_4_9;
  +        boot.kernelPackages = pkgs.linuxPackages_4_15;
   
           # Kernel modules available for loading for stage 1 boot
           boot.initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usb_storage" ];
  
positive.code: 
          security.sudo.wheelNeedsPassword = true;
          security.polkit.enable = true;
  
          # activationScripts and postBootCommands run just before 
          # systemd is started, but after stage 1 has mounted the root filesystem
  
negative.code:             defaultUserShell = "/run/current-system/sw/bin/zsh"; # set the default shell to ZSH instead of bash
              enforceIdUniqueness = true;
              mutableUsers = false;
              groups = {
                  operators = {
                      gid = 1000;
                  };
              };
              users = {
                  "cmcdragonkai" = {
                      uid = 1000;
                      description = "CMCDragonkai";
                      group = "operators";
                      extraGroups = [ 
                        "wheel" 
                        "users"
                        "networkmanager"
                        "docker"
                        "adbusers"
                      ];
                      home = "/home/cmcdragonkai";
                      createHome = true;
                      useDefaultShell = true;
  