flake: configure u-boot to autoboot kernel #11

Merged
sb10q merged 1 commits from fsagbuya/nix-servo:uboot into master 2023-12-20 16:32:55 +08:00

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" ];
}; };