diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/platform/generic.md | 2 | ||||
| -rw-r--r-- | docs/platform/spike.md | 20 |
2 files changed, 12 insertions, 10 deletions
diff --git a/docs/platform/generic.md b/docs/platform/generic.md index f4281a2..e2d1b63 100644 --- a/docs/platform/generic.md +++ b/docs/platform/generic.md @@ -40,5 +40,7 @@ RISC-V Platforms Using Generic Platform --------------------------------------- * **QEMU RISC-V Virt Machine** (*[qemu_virt.md]*) +* **Spike** (*[spike.md]*) [qemu_virt.md]: qemu_virt.md +[spike.md]: spike.md 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" |