boot/raspberrypi: replace deprecated configuration option

This commit is contained in:
Jeff Slight 2019-02-08 11:36:09 -08:00
parent 0879595c60
commit c95407b327

View File

@ -33,7 +33,7 @@ let
avoid_warnings=1
'' + optional isAarch64 ''
# Boot in 64-bit mode.
arm_control=0x200
arm_64bit=1
'' + (if cfg.uboot.enable then ''
kernel=u-boot-rpi.bin
'' else ''