mirror of
				https://github.com/NixOS/nixos-hardware.git
				synced 2025-11-04 17:27:14 +08:00 
			
		
		
		
	Note that the linux kernel can and should be accessed through config.kernelPackages.kernel.
		
			
				
	
	
		
			17 lines
		
	
	
		
			507 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			17 lines
		
	
	
		
			507 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
final: _prev: {
 | 
						|
  ubootHelios4 = final.buildUBoot rec {
 | 
						|
    defconfig = "helios4_defconfig";
 | 
						|
    filesToInstall = [ "u-boot-spl.kwb" ];
 | 
						|
    # 2021.07 and later are broken, similar to this bug report:
 | 
						|
    # https://www.mail-archive.com/u-boot@lists.denx.de/msg451013.html#
 | 
						|
    version = "2021.04";
 | 
						|
    src = final.fetchFromGitHub {
 | 
						|
      owner = "u-boot";
 | 
						|
      repo = "u-boot";
 | 
						|
      rev = "v${version}";
 | 
						|
      sha256 = "sha256-QxrTPcx0n0NWUJ990EuIWyOBtknW/fHDRcrYP0yQzTo=";
 | 
						|
    };
 | 
						|
    patches = [];
 | 
						|
  };
 | 
						|
}
 |