From c6a304ca7d953648234ba0835eea37a6d711095f Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 18 Jan 2024 18:19:29 +0100
Subject: [PATCH] Load kernel in 0x84000000 address

Booting the kernel works, but by manually specifying the address.
---
 README.md | 6 ++++++
 boot.sh   | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7301ffc..e014b0e 100644
--- a/README.md
+++ b/README.md
@@ -11,3 +11,9 @@ Then run the boot script:
 ```
 $ ./boot.sh
 ```
+
+In u-boot use the following to boot:
+
+```
+=> booti 0x84000000 - ${fdtcontroladdr} 
+```
diff --git a/boot.sh b/boot.sh
index 61bb895..5337377 100755
--- a/boot.sh
+++ b/boot.sh
@@ -64,7 +64,7 @@ exec qemu-system-riscv64 \
     -device virtio-keyboard \
     -drive "file=$NIX_DISK_IMAGE,if=none,id=hd0" \
     -device virtio-blk-device,drive=hd0 \
-    -device loader,addr=0x40000000,file=$system/kernel \
+    -device loader,addr=0x84000000,file=$system/kernel \
     -kernel $system/kernel \
     -initrd $system/initrd \
     -append "$(cat $system/kernel-params) init=$system/init regInfo=/nix/store/x3zpwfbk2wkiisxhgi7zwsfwbdfxk0w1-closure-info-riscv64-unknown-linux-gnu/registration console=ttyS0,115200n8 loglevel=7 $QEMU_KERNEL_PARAMS"