index.md: change wrong link name of mimas target

JIRA: RTOS-905
phoenix-rtos · Sep 10, 2024 · 97d815d · 97d815d
1 parent 8c548c2
commit 97d815d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.md b/index.md
@@ -35,7 +35,7 @@ The ARINC653 execution environment (APEX) is under development.
     10. [Running system on `riscv64-generic-spike`](quickstart/riscv64-generic-spike.md)
     11. [Running system on `sparcv8leon3-gr716-mini`](quickstart/sparcv8leon3-gr716-mini.md)
     12. [Running system on `sparcv8leon3-gr712rc-board`](quickstart/sparcv8leon3-gr712rc-board)
-    13. [Running system on `sparcv8leon3-gr712rc-board`](quickstart/sparcv8leon3-gr716-mimas)
+    13. [Running system on `sparcv8leon3-gr716-mimas`](quickstart/sparcv8leon3-gr716-mimas)
 5. [Loader](loader/index.md)
     1. [Architecture](loader/architecture.md)
     2. [Command-line interface](loader/cli.md)