anchor.diff:    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;
     };
  
positive.code:       '';
      };
    };
    
  in
  
  
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
  