[do not merge]: qemu_virt_riscv64 loader link addr fix

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Mar 3, 2025 · 7c327d3 · 7c327d3
1 parent 72c1b20
commit 7c327d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_sdk.py b/build_sdk.py
@@ -208,7 +208,7 @@ class ConfigInfo:
         name="qemu_virt_riscv64",
         arch=KernelArch.RISCV64,
         gcc_cpu=None,
-        loader_link_address=0x80200000,
+        loader_link_address=0xa0000000,
         kernel_options={
             "KernelPlatform": "qemu-riscv-virt",
             "KernelIsMCS": True,