anchor.diff:        '';
       };
     };
  +
  +  # 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
   
  
positive.code:   boot.loader.generationsDir.enable = false;
    system.boot.loader.kernelFile = "/vmlinux";
  
    nixpkgs.config = {
      platform = pkgs.platforms.fuloong2f_n32;
    };
  
negative.code: 
    # To speed up further installation of packages, include the complete stdenv
    # in the Nix store of the tarball.
    tarball.storeContents = pkgs2storeContents [ pkgs.stdenv ]
      ++ [
        {
          object = config.system.build.bootStage2;
          symlink = "/boot/init";
        }
        {
          object = config.system.build.toplevel;
          symlink = "/boot/system";
        }
      ];
  
    tarball.contents = [
      { source = kernelParams;
        target = "/kernelparams.txt";
      }
      { source = config.boot.kernelPackages.kernel + config.system.boot.loader.kernelFile;
        target = "/boot/vmlinux";
      }
      { source = nixpkgsUserConfig;
        target = "/root/.nixpkgs/config.nix";
      }
    ];
  
    # Allow sshd to be started manually through "start sshd".  It should
    # not be started by default on the installation CD because the
  