diff options
Diffstat (limited to 'docs/platform/platform.md')
| -rw-r--r-- | docs/platform/platform.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/platform/platform.md b/docs/platform/platform.md index d977646..2efa8b3 100644 --- a/docs/platform/platform.md +++ b/docs/platform/platform.md @@ -23,6 +23,8 @@ OpenSBI currently supports the following virtual and hardware platforms: * **T-HEAD C910**: Platform support for the T-HEAD C910 Processor. +* **Spike**: Platform support for the Spike emulator. + 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*, @@ -34,3 +36,4 @@ facilitate the implementation. [ariane-fpga.md]: ariane-fpga.md [andes_ae350.md]: andes-ae350.md [thead-c910.md]: thead-c910.md +[spike.md]: spike.md |