aboutsummaryrefslogtreecommitdiff
path: root/docs/platform/spike.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/platform/spike.md')
-rw-r--r--docs/platform/spike.md20
1 files changed, 10 insertions, 10 deletions
diff --git a/docs/platform/spike.md b/docs/platform/spike.md
index 40fa4ba..8d6b422 100644
--- a/docs/platform/spike.md
+++ b/docs/platform/spike.md
@@ -9,7 +9,7 @@ on **Spike** simulator and QEMU Spike machine.
For more details, refer [Spike on GitHub](https://github.com/riscv/riscv-isa-sim)
To build the platform-specific library and firmware images, provide the
-*PLATFORM=spike* parameter to the top level `make` command.
+*PLATFORM=generic* parameter to the top level `make` command.
Platform Options
----------------
@@ -23,12 +23,12 @@ Execution on Spike Simulator
Build:
```
-make PLATFORM=spike
+make PLATFORM=generic
```
Run:
```
-spike build/platform/spike/firmware/fw_payload.elf
+spike build/platform/generic/firmware/fw_payload.elf
```
**Linux Kernel Payload**
@@ -38,12 +38,12 @@ Note: We assume that the Linux kernel is compiled using
Build:
```
-make PLATFORM=spike FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image
+make PLATFORM=generic FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image
```
Run:
```
-spike --initrd <path_to_cpio_ramdisk> build/platform/spike/firmware/fw_payload.elf
+spike --initrd <path_to_cpio_ramdisk> build/platform/generic/firmware/fw_payload.elf
```
Execution on QEMU RISC-V 64-bit
@@ -53,13 +53,13 @@ Execution on QEMU RISC-V 64-bit
Build:
```
-make PLATFORM=spike
+make PLATFORM=generic
```
Run:
```
qemu-system-riscv64 -M spike -m 256M -nographic \
- -kernel build/platform/spike/firmware/fw_payload.elf
+ -kernel build/platform/generic/firmware/fw_payload.elf
```
**Linux Kernel Payload**
@@ -69,20 +69,20 @@ Note: We assume that the Linux kernel is compiled using
Build:
```
-make PLATFORM=spike FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image
+make PLATFORM=generic FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image
```
Run:
```
qemu-system-riscv64 -M spike -m 256M -nographic \
- -kernel build/platform/spike/firmware/fw_payload.elf \
+ -kernel build/platform/generic/firmware/fw_payload.elf \
-initrd <path_to_cpio_ramdisk> \
-append "root=/dev/ram rw console=hvc0 earlycon=sbi"
```
or
```
qemu-system-riscv64 -M spike -m 256M -nographic \
- -bios build/platform/spike/firmware/fw_jump.elf \
+ -bios build/platform/generic/firmware/fw_jump.elf \
-kernel <linux_build_directory>/arch/riscv/boot/Image \
-initrd <path_to_cpio_ramdisk> \
-append "root=/dev/ram rw console=hvc0 earlycon=sbi"