diff options
Diffstat (limited to 'docs/platform/platform.md')
| -rw-r--r-- | docs/platform/platform.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/platform/platform.md b/docs/platform/platform.md index 048c2c4f..b77112ff 100644 --- a/docs/platform/platform.md +++ b/docs/platform/platform.md @@ -21,10 +21,6 @@ OpenSBI currently supports the following virtual and hardware platforms: * **Kendryte K210 SoC**: Platform support for the Kendryte K210 SoC used on 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. 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). More details on this platform can be found in the file *[andes-ae350.md]*. @@ -48,7 +44,6 @@ comments to facilitate the implementation. [generic.md]: generic.md [qemu_virt.md]: qemu_virt.md [sifive_fu540.md]: sifive_fu540.md -[fpga-ariane.md]: fpga-ariane.md [andes-ae350.md]: andes-ae350.md [thead-c910.md]: thead-c910.md [spike.md]: spike.md |