Add support for SiFive Premier P550

README.md

@@ -208,6 +208,7 @@ The currently supported boards are:
 
 * ariane
 * cheshire
+* hifive_p550
 * imx8mm_evk
 * imx8mp_evk
 * imx8mq_evk

build_sdk.py

@@ -272,6 +272,18 @@ class ConfigInfo:
             "KernelAllowSMCCalls": True,
         },
     ),
+    BoardInfo(
+        name="hifive_p550",
+        arch=KernelArch.RISCV64,
+        gcc_cpu=None,
+        loader_link_address=0x90000000,
+        kernel_options={
+            "KernelIsMCS": True,
+            "KernelPlatform": "hifive-p550",
+            "KernelRiscvExtD": True,
+            "KernelRiscvExtF": True,
+        },
+    ),
     BoardInfo(
         name="star64",
         arch=KernelArch.RISCV64,

docs/manual.md

@@ -894,6 +894,32 @@ 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.
+
+Right now Microkit will always produce raw binary file, however when using U-Boot on the
+P550 it is recommended to instead convert the image to the `uImage` format.
+
+This can be done with the `mkimage` tool:
+```sh
+mkimage -A riscv -O linux -T kernel -C none -a 0x90000000 -e 0x90000000 -d loader.img loader.uimg
+```
+
+To load the image you will need to use the `bootm` command. `bootm` expects an address of where
+the Device Tree Blob (DTB) will be as well as the image.
+
+If you do not have a DTB for the P550 you can get it from the seL4 source code with:
+```sh
+dtc -I dts -O dtb seL4/tools/dts/hifive-p550.dts > hifive_p550.dtb
+```
+
+Now you can load the images into U-Boot at the appropriate addresses, for example via TFTP:
+
+     => tftpboot 0x90000000 /path/to/loader.uimg
+     => tftpboot 0x90000000 /path/to/hifive_p550.dtb
+     => bootm 0x90000000 - 0xa0000000
+
 ## QEMU virt (AArch64)
 
 Support is available for the virtual AArch64 QEMU platform. This is a platform that is not based

loader/Makefile

@@ -34,7 +34,7 @@ ifeq ($(ARCH),aarch64)
 	ARCH_DIR := aarch64
 else ifeq ($(ARCH),riscv64)
 	CFLAGS_RISCV64 := -mcmodel=medany -march=rv64imac_zicsr_zifencei -mabi=lp64
-	CFLAGS_ARCH := $(CFLAGS_RISCV64) -DARCH_riscv64
+	CFLAGS_ARCH := $(CFLAGS_RISCV64) -DARCH_riscv64 -DFIRST_HART_ID=$(FIRST_HART_ID)
 	ASM_FLAGS_ARCH := -march=rv64imac_zicsr_zifencei -mabi=lp64 -DFIRST_HART_ID=$(FIRST_HART_ID)
 	ARCH_DIR := riscv
 endif

loader/src/loader.c

@@ -756,6 +756,12 @@ int main(void)
         goto fail;
     }
 
+#ifdef ARCH_riscv64
+    puts("LDR|INFO: configured with FIRST_HART_ID ");
+    puthex32(FIRST_HART_ID);
+    puts("\n");
+#endif
+
     print_loader_data();
 
     /* past here we have trashed u-boot so any errors should go to the