doc: Add links to the model-checking report

Signed-off-by: Changho Choi <[email protected]>
islet-project · Jul 4, 2024 · ed25d9d · ed25d9d
1 parent 985cee1
commit ed25d9d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/doc/SUMMARY.md b/doc/SUMMARY.md
@@ -8,6 +8,7 @@
   - [Platform Developer](./getting-started/plat-dev.md)
     - [Network Configuration](./network.md)
   - [Verification](./getting-started/verification.md)
+    - [Model Checking](./islet-model-checking.md)
 - [Components](./components/index.md)
   - [CCA platform architecture](./components/cca_design.md)
   - [Realm Management Monitor](./components/rmm.md)

diff --git a/doc/getting-started/verification.md b/doc/getting-started/verification.md
@@ -25,3 +25,5 @@ rmi_granule_undelegate
 # Choose one among the list in `Available RMI targets` for the value of `RMI_TARGET`
 $ RMI_TARGET=rmi_granule_undelegate make verify
 ```
+
+For more about Islet's model-checking, please refer to [here](../islet-model-checking.md).