2023-01-19 03:57:32 +00:00
|
|
|
{ stdenv, tow-boot-rpi4, raspberrypifw, raspberrypi-armstubs }:
|
2022-06-24 07:50:00 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "bootpart-tow-boot-rpi-aarch64";
|
|
|
|
version = "1";
|
|
|
|
|
2023-01-16 12:14:22 +00:00
|
|
|
buildInputs = [
|
2022-06-24 07:50:00 +00:00
|
|
|
tow-boot-rpi4 # for Tow-Boot.*.bin
|
|
|
|
raspberrypifw # for bootcode.bin, *.dat, *.elf, *.dtb
|
|
|
|
raspberrypi-armstubs # for armstub*
|
|
|
|
];
|
|
|
|
|
|
|
|
src = ./config.txt;
|
|
|
|
|
|
|
|
dontUnpack = true;
|
|
|
|
|
2022-12-25 07:33:24 +00:00
|
|
|
installPhase = ''
|
2022-06-24 07:50:00 +00:00
|
|
|
mkdir "$out"
|
|
|
|
cp ${tow-boot-rpi4}/Tow-Boot.noenv.*.bin "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/*.dtb "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/*.bin "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/*.dat "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/*.img "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/*.elf "$out"/
|
|
|
|
cp -R ${raspberrypifw}/share/raspberrypi/boot/overlays "$out"/
|
|
|
|
cp ${raspberrypi-armstubs}/* "$out"/
|
|
|
|
cp ${src} "$out"/config.txt
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "unmanaged files to place in /boot on a raspberry pi system";
|
|
|
|
platforms = [ "aarch64-linux" ];
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|