flake.nix: fix rpi-netboot config.txt

This commit is contained in:
Astro 2022-03-16 21:29:05 +01:00
parent 52c6add73e
commit b1363d4286
1 changed files with 5 additions and 3 deletions

View File

@ -209,12 +209,14 @@
"${host}-boot" = pkgs.runCommand "tftproot" {} ''
mkdir -p $out
cp -rs ${pkgs.raspberrypifw}/share/raspberrypi/boot/* $out/
rm -f $out/kernel.img $out/initrd.img
ln -s ${config.system.build.kernel}/Image $out/kernel.img
rm -f $out/kernel8.img $out/initrd.img
ln -s ${config.system.build.kernel}/Image $out/kernel8.img
ln -s ${config.system.build.initialRamdisk}/initrd $out/initrd.img
cat << EOF > $out/config.txt
kernel kernel.img
kernel=kernel8.img
initramfs initrd.img followkernel
gpu_mem=64
arm_64bit=1
EOF
echo "dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 verbose init=${config.system.build.toplevel}/init" > $out/cmdline.txt
'';