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:   boot.loader.generationsDir.enable = false;
    system.boot.loader.kernelFile = "/vmlinux";
  
    nixpkgs.config = {
      platform = pkgs.platforms.fuloong2f_n32;
    };
  
negative.code:       '';
      };
    };
  
    # A clue for the kernel loading
    kernelParams = pkgs.writeText "kernel-params.txt" ''
      Kernel Parameters:
        init=/boot/init systemConfig=/boot/init ${toString config.boot.kernelParams}
    '';
  
    # System wide nixpkgs config
    nixpkgsUserConfig = pkgs.writeText "config.nix" ''
      pkgs:
      {
        platform = pkgs.platforms.fuloong2f_n32;
      }
    '';
    
  in
  
  