Merge pull request #55457 from jslight90/raspberry-pi-64bit

nixos/boot: replace deprecated Raspberry Pi configuration option
This commit is contained in:
Matthew Bauer 2019-02-08 17:26:57 -05:00 committed by GitHub
commit 9d416b3954
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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 ''