mirror of
https://github.com/NixOS/nixos-hardware.git
synced 2025-11-04 17:27:14 +08:00
48 lines
1.1 KiB
Nix
48 lines
1.1 KiB
Nix
{
|
|
stdenv,
|
|
writeText,
|
|
opensbi,
|
|
fip,
|
|
zsbl,
|
|
linuxboot-kernel,
|
|
linuxboot-initrd,
|
|
dtbs ? "${linuxboot-kernel}/dtbs",
|
|
...
|
|
}:
|
|
|
|
let
|
|
# Configure a conf.init for linuxboot. If this is not found on the sdcard,
|
|
# zsbl will load it from spi flash even when booting from sd. That conf.ini
|
|
# might be configured differently and thus not properly boot from sd.
|
|
conf-ini = writeText "conf.ini" ''
|
|
[sophgo-config]
|
|
|
|
[devicetree]
|
|
name = mango-milkv-pioneer.dtb
|
|
|
|
[kernel]
|
|
name = riscv64_Image
|
|
|
|
[firmware]
|
|
name = fw_dynamic.bin
|
|
|
|
[ramfs]
|
|
name = initrd.img
|
|
|
|
[eof]
|
|
'';
|
|
in
|
|
|
|
stdenv.mkDerivation {
|
|
name = "milkv-pioneer-firmware";
|
|
buildCommand = ''
|
|
install -D ${conf-ini} $out/riscv64/conf.ini
|
|
install -D ${fip} $out/fip.bin
|
|
install -D ${zsbl} $out/zsbl.bin
|
|
install -D ${opensbi}/share/opensbi/lp64/generic/firmware/fw_dynamic.bin $out/riscv64/
|
|
install -D ${linuxboot-initrd}/initrd.img $out/riscv64/
|
|
install -D ${dtbs}/sophgo/mango-milkv-pioneer.dtb $out/riscv64/
|
|
install -D ${linuxboot-kernel}/Image $out/riscv64/riscv64_Image
|
|
'';
|
|
}
|