anchor.diff:        {
           require = [ ];
   
  -        # Add your own options below and run "nixos-rebuild switch".
  +        # Add your own options below
           # E.g.,
           #   services.openssh.enable = true;
  +
  +        nixpkgs.config.platform = pkgs.platforms.fuloong2f_n32;
         }
       '';
     
  
positive.code:       '';
      };
    };
    
  in
  
  
negative.code:   boot.loader.generationsDir.enable = false;
    system.boot.loader.kernelFile = "/vmlinux";
  
    # Needed for nixos to evaluate
    system.build.menuBuilder = "true";
  
    nixpkgs.config = {
      platform = pkgs.platforms.fuloong2f_n32;
    };
  