From c95407b3278d82ddc82ed03f3cfc4f6ef74ebdd2 Mon Sep 17 00:00:00 2001
From: Jeff Slight <jslight90@gmail.com>
Date: Fri, 8 Feb 2019 11:36:09 -0800
Subject: [PATCH] boot/raspberrypi: replace deprecated configuration option
---
nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
index 047651dc6426..7db60daa60b8 100644
--- a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
+++ b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
@@ -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 ''