summaryrefslogtreecommitdiff
path: root/docs/platform/platform.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/platform/platform.md')
-rw-r--r--docs/platform/platform.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/platform/platform.md b/docs/platform/platform.md
index d34ce7a..5580283 100644
--- a/docs/platform/platform.md
+++ b/docs/platform/platform.md
@@ -25,6 +25,9 @@ OpenSBI currently supports the following virtual and hardware platforms:
* **Spike**: Platform support for the Spike emulator.
+* **OpenPiton FPGA SoC**: Platform support OpenPiton research platform based on
+ariane core.
+
The code for these supported platforms can be used as example to implement
support for other platforms. The *platform/template* directory also provides
template files for implementing support for a new platform. The *object.mk*,
@@ -37,3 +40,4 @@ facilitate the implementation.
[andes_ae350.md]: andes-ae350.md
[thead-c910.md]: thead-c910.md
[spike.md]: spike.md
+[fpga_openpiton.md]: fpga_openpiton.md