From 46991e2761a330a252697805534f8662e8378e57 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Sun, 5 Nov 2023 15:18:19 +0000
Subject: [PATCH] aarch64 ram starts at 0x40000000

---
 modules/arch/aarch64.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/modules/arch/aarch64.nix b/modules/arch/aarch64.nix
index e1e97025..7279e42a 100644
--- a/modules/arch/aarch64.nix
+++ b/modules/arch/aarch64.nix
@@ -1,4 +1,4 @@
-{ lib, pkgs, config, ...}:
+{ lib, lim, pkgs, config, ...}:
 {
   config = {
     kernel.config = {
@@ -12,5 +12,6 @@
       OF = "y";
       # USE_OF = "y";
     };
+    hardware.ram.startAddress = lim.parseInt "0x40000000";
   };
 }