Add support for SiFive Premier P550

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Feb 11, 2025 · 4efa169 · 4efa169
1 parent 87e3e80
commit 4efa169
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -244,6 +244,18 @@ class ConfigInfo:
             "KernelArmVtimerUpdateVOffset": False,
         },
     ),
+    BoardInfo(
+        name="p550",
+        arch=KernelArch.RISCV64,
+        gcc_cpu=None,
+        loader_link_address=0x90000000,
+        kernel_options={
+            "KernelIsMCS": True,
+            "KernelPlatform": "p550",
+            "KernelRiscvExtD": True,
+            "KernelRiscvExtF": True,
+        },
+    ),
     BoardInfo(
         name="star64",
         arch=KernelArch.RISCV64,

diff --git a/docs/manual.md b/docs/manual.md
@@ -828,6 +828,14 @@ Microkit produces a raw binary file, so when using U-Boot you must execute the i
 
     => go 0x20000000
 
+## SiFive Premier P550
+
+The SiFive Premier P550 is a development board based on the ESWIN EIC7700X system-on-chip.
+
+Microkit produces a raw binary file, so when using U-Boot you must execute the image using:
+
+    => go 0x90000000
+
 ## QEMU virt (AArch64)
 
 Support is available for the virtual AArch64 QEMU platform. This is a platform that is not based