mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-07-04 02:13:28 +02:00
ba8b9209ce
* Uses Linux kernel released by Microchip - https://github.com/linux4microchip/linux.git - Ver: v5.15 Tag: linux4microchip+fpga-2023.02 * Uses UBoot released by Microchip - Ver: uboot-2022-01 Tag: linux4microchip+fpga-2023.02 To generate NixOS sd image for MICROCHIP icicle-kit refer: https://github.com/tiiuae/ghaf.git Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>
33 lines
899 B
Nix
33 lines
899 B
Nix
{
|
|
pkgs, targetBoard, ...
|
|
}:
|
|
|
|
with pkgs; let
|
|
payload-generator = pkgs.callPackage ./hss-payload-generator.nix {};
|
|
payload_config = ./uboot.yaml;
|
|
in
|
|
buildUBoot rec {
|
|
pname = "uboot";
|
|
version = "linux4microchip+fpga-2023.02";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "polarfire-soc";
|
|
repo = "u-boot";
|
|
rev = "b356a897b11ef19dcbe7870530f23f3a978c1714";
|
|
sha256 = "sha256-ouNLnDBeEsaY/xr5tAVBUtLlj0eylWbKdlU+bQ2Ciq4=";
|
|
};
|
|
|
|
extraMakeFlags = [
|
|
"OPENSBI=${opensbi}/share/opensbi/lp64/generic/firmware/fw_dynamic.bin"
|
|
];
|
|
|
|
patches = [ ./patches/0001-Boot-environment-for-Microchip-Iciclle-Kit.patch ];
|
|
defconfig = "${targetBoard}_defconfig";
|
|
enableParallelBuilding = true;
|
|
extraMeta.platforms = ["riscv64-linux"];
|
|
postBuild = ''
|
|
${payload-generator}/hss-payload-generator -c ${payload_config} payload.bin
|
|
'';
|
|
filesToInstall = [ "payload.bin" ];
|
|
}
|