|
@@ -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
|