mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-11-26 21:09:42 +01:00
a4e2b7909f
Note that the linux kernel can and should be accessed through config.kernelPackages.kernel.
16 lines
507 B
Nix
16 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 = [];
|
|
};
|
|
}
|