diff options
| -rw-r--r-- | docs/platform/platform.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/platform/platform.md b/docs/platform/platform.md index 7f47068..8ee8754 100644 --- a/docs/platform/platform.md +++ b/docs/platform/platform.md @@ -36,7 +36,7 @@ OpenSBI currently supports the following virtual and hardware platforms: * **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]*. + *[fpga-openpiton.md]*. * **Shakti C-class SoC Platform**: Platform support for Shakti C-class processor based SOCs. More details on this platform can be found in the @@ -55,5 +55,5 @@ 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 +[fpga-openpiton.md]: fpga-openpiton.md [shakti_cclass.md]: shakti_cclass.md |