docs(memory-management): Add documentation on S1 memory management
This patch also adds the Coverity Scan badge to the RMM Readme.rst
Signed-off-by: Javier Almansa Sobrino <javier.almansasobrino@arm.com>
Change-Id: I12de320a57ea64844b77d22d9c9fd9270bf9415c
diff --git a/docs/glossary.rst b/docs/glossary.rst
index fd36399..ef679b3 100644
--- a/docs/glossary.rst
+++ b/docs/glossary.rst
@@ -33,4 +33,22 @@
PAS
Physical Address Space
+ GPF
+ Granule Protection Fault
+
+ IPA
+ Intermediate Physical Address
+
+ PA
+ Physical Address
+
+ RTT
+ Realm Translation Table
+
+ TTE
+ Translation Table Entry
+
+ VHE
+ Virtualization Host Extensions
+
.. _`Arm Glossary`: https://developer.arm.com/support/arm-glossary