summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorAnup Patel <anup.patel@wdc.com>2020-05-01 12:50:47 +0300
committerAnup Patel <anup@brainfault.org>2020-05-04 07:40:41 +0300
commitd62603725824d5fc573d1f4aefedda25d8122206 (patch)
tree04f89c97698b59768a6db433c31bcbb55b6605e9 /docs
parent65c06b026db6352f1ff2bdb235f3149e5e99e2ba (diff)
downloadopensbi-d62603725824d5fc573d1f4aefedda25d8122206.tar.xz
docs: Add missing links in platform.md
The links to some of the platforms were missing in platform.md file hence this patch. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Bin Meng <bin.meng@windriver.com> Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Diffstat (limited to 'docs')
-rw-r--r--docs/platform/platform.md19
1 files changed, 12 insertions, 7 deletions
diff --git a/docs/platform/platform.md b/docs/platform/platform.md
index c8f6ade..3e0dc39 100644
--- a/docs/platform/platform.md
+++ b/docs/platform/platform.md
@@ -22,16 +22,21 @@ OpenSBI currently supports the following virtual and hardware platforms:
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.
+ 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).
+* **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]*.
-* **T-HEAD C910**: Platform support for the T-HEAD C910 Processor.
+* **T-HEAD C910**: Platform support for the T-HEAD C910 Processor. More
+ details on this platform can be found in the file *[thead-c910.md]*.
-* **Spike**: Platform support for the Spike emulator.
+* **Spike**: Platform support for the Spike emulator. More
+ details on this platform can be found in the file *[spike.md]*.
-* **OpenPiton FPGA SoC**: Platform support OpenPiton research platform based on
-ariane core.
+* **OpenPiton FPGA SoC**: Platform support OpenPiton research platform based
+ on ariane core. More details on this platform can be found in the file
+ *[fpga_openpiton.md]*.
The code for these supported platforms can be used as example to implement
support for other platforms. The *platform/template* directory also provides
@@ -43,7 +48,7 @@ facilitate the implementation.
[qemu_virt.md]: qemu_virt.md
[sifive_fu540.md]: sifive_fu540.md
[fpga-ariane.md]: fpga-ariane.md
-[andes_ae350.md]: andes-ae350.md
+[andes-ae350.md]: andes-ae350.md
[thead-c910.md]: thead-c910.md
[spike.md]: spike.md
[fpga_openpiton.md]: fpga_openpiton.md