flake: configure u-boot to autoboot kernel

Signed-off-by: Florian Agbuya <fa@m-labs.ph>
This commit is contained in:
Florian Agbuya 2023-12-18 15:38:32 +08:00
parent 3b34e11cbf
commit 8c8001ee88

View File

@ -199,6 +199,18 @@
preConfigure = '' preConfigure = ''
export DEVICE_TREE=zynq-${board} export DEVICE_TREE=zynq-${board}
''; '';
extraConfig = ''
CONFIG_AUTOBOOT=y
CONFIG_BOOTCOMMAND="${builtins.replaceStrings [ "\n" ] [ "; " ] ''
setenv bootargs 'root=/dev/mmcblk0p2 console=ttyPS0,115200n8 systemConfig=${builtins.unsafeDiscardStringContext not-os-configured.config.system.build.toplevel}'
fatload mmc 0 0x6400000 uImage
fatload mmc 0 0x8000000 devicetree.dtb
fatload mmc 0 0xA400000 uramdisk.image.gz
bootm 0x6400000 0xA400000 0x8000000
''}"
CONFIG_BOOTDELAY=0
CONFIG_USE_BOOTCOMMAND=y
'';
extraMeta.platforms = [ "armv7l-linux" ]; extraMeta.platforms = [ "armv7l-linux" ];
filesToInstall = [ "u-boot.elf" ]; filesToInstall = [ "u-boot.elf" ];
}; };