anchor.diff:      [ "vfat" "reiserfs" ];
   
     boot.kernelPackages = pkgs.linuxPackages_2_6_35;
  +  boot.kernelParams = [ "console=tty" ];
   
     boot.initrd.kernelModules =
       [ # Wait for SCSI devices to appear.
  
positive.code:       {
          require = [ ];
  
          # Add your own options below and run "nixos-rebuild switch".
          # E.g.,
          #   services.openssh.enable = true;
        }
      '';
    
  
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
  
  