commit 5176cb8c0c8f004b2f7fd9b14e6999e4701dc699
author Mate Toth-Pal <mate.toth-pal@arm.com> Wed Oct 18 17:35:57 2023 +0200
committer Máté Tóth-Pál <Mate.Toth-Pal@arm.com> Wed Nov 08 12:06:59 2023 +0200
tree 3d504d720be69fe2195b39417f898a0217117669
parent f9e5a44cabf3e9cab5f2a1f9df24ed9c3adaa77b

docs(tools/cbmc): add application note on CBMC

Change-Id: I4acd1e0e75a144b379c99e76a852fe1bddc44bef
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>

docs/index.rst

diff --git a/docs/index.rst b/docs/index.rst
index b7a0415..9da6cd6 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -42,6 +42,13 @@
             </a>
             <p>Security.</p>
         </li>
+        <li class="grid-item">
+            <a href="resources/index.html">
+               <img alt="" src="_static/images/rmm-documentation.png"/>
+               <h2>Resources</h2>
+            </a>
+            <p>Resources.</p>
+        </li>
     </ul>
 
 .. toctree::
@@ -54,4 +61,5 @@
    process/index
    design/index
    security/index
+   resources/index
    glossary