···4242 populateBootCommands = let
4343 configTxt = pkgs.writeText "config.txt" ''
4444 kernel=u-boot-rpi3.bin
4545+4646+ # Boot in 64-bit mode.
4547 arm_control=0x200
4848+4949+ # U-Boot used to need this to work, regardless of whether UART is actually used or not.
5050+ # TODO: check when/if this can be removed.
4651 enable_uart=1
5252+5353+ # Prevent the firmware from smashing the framebuffer setup done by the mainline kernel
5454+ # when attempting to show low-voltage or overtemperature warnings.
5555+ avoid_warnings=1
4756 '';
4857 in ''
4958 (cd ${pkgs.raspberrypifw}/share/raspberrypi/boot && cp bootcode.bin fixup*.dat start*.elf $NIX_BUILD_TOP/boot/)