diff options
Diffstat (limited to 'docs/platform')
| -rw-r--r-- | docs/platform/fpga-ariane.md | 4 | ||||
| -rw-r--r-- | docs/platform/generic.md | 2 | ||||
| -rw-r--r-- | docs/platform/platform.md | 5 |
3 files changed, 4 insertions, 7 deletions
diff --git a/docs/platform/fpga-ariane.md b/docs/platform/fpga-ariane.md index 9b1e1566..720cb172 100644 --- a/docs/platform/fpga-ariane.md +++ b/docs/platform/fpga-ariane.md @@ -13,7 +13,7 @@ The FPGA SoC currently contains the following peripherals: - Bootrom containing zero stage bootloader and device tree. To build platform specific library and firmwares, provide the -*PLATFORM=fpga/ariane* parameter to the top level `make` command. +*PLATFORM=generic* parameter to the top level `make` command. Platform Options ---------------- @@ -26,7 +26,7 @@ Building Ariane FPGA Platform **Linux Kernel Payload** ``` -make PLATFORM=fpga/ariane FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image +make PLATFORM=generic FW_PAYLOAD_PATH=<linux_build_directory>/arch/riscv/boot/Image ``` Booting Ariane FPGA Platform diff --git a/docs/platform/generic.md b/docs/platform/generic.md index 495baa73..c48d6a9a 100644 --- a/docs/platform/generic.md +++ b/docs/platform/generic.md @@ -48,6 +48,7 @@ RISC-V Platforms Using Generic Platform * **Spike** (*[spike.md]*) * **T-HEAD C9xx series Processors** (*[thead-c9xx.md]*) * **OpenPiton FPGA SoC** (*[fpga-openpiton.md]*) +* **Ariane FPGA SoC** (*[fpga-ariane.md]*) [andes-ae350.md]: andes-ae350.md [qemu_virt.md]: qemu_virt.md @@ -57,3 +58,4 @@ RISC-V Platforms Using Generic Platform [spike.md]: spike.md [thead-c9xx.md]: thead-c9xx.md [fpga-openpiton.md]: fpga-openpiton.md +[fpga-ariane.md]: fpga-ariane.md diff --git a/docs/platform/platform.md b/docs/platform/platform.md index 048c2c4f..b77112ff 100644 --- a/docs/platform/platform.md +++ b/docs/platform/platform.md @@ -21,10 +21,6 @@ OpenSBI currently supports the following virtual and hardware platforms: * **Kendryte K210 SoC**: Platform support for the Kendryte K210 SoC used on boards such as the Kendryte KD233 or the Sipeed MAIX Dock. -* **Ariane FPGA SoC**: Platform support for the Ariane FPGA SoC used on - Genesys 2 board. More details on this platform can be found in the file - *[fpga-ariane.md]*. - * **Andes AE350 SoC**: Platform support for the Andes's SoC (AE350). More details on this platform can be found in the file *[andes-ae350.md]*. @@ -48,7 +44,6 @@ comments to facilitate the implementation. [generic.md]: generic.md [qemu_virt.md]: qemu_virt.md [sifive_fu540.md]: sifive_fu540.md -[fpga-ariane.md]: fpga-ariane.md [andes-ae350.md]: andes-ae350.md [thead-c910.md]: thead-c910.md [spike.md]: spike.md |