From f78d4812e92d62028af903b2825b7503a5843b76 Mon Sep 17 00:00:00 2001
From: Josh Junon <junon@oro.sh>
Date: Sun, 21 Jul 2024 00:10:46 +0200
Subject: [PATCH] docs: PROTOCOL.md: specify TCR_EL1/TTBR0_EL1 values for base
 revision > 0

---
 PROTOCOL.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/PROTOCOL.md b/PROTOCOL.md
index e497ad62..92515fb9 100644
--- a/PROTOCOL.md
+++ b/PROTOCOL.md
@@ -321,7 +321,10 @@ instructions or registers.
 
 Higher ELs do not interfere with accesses to the generic timer and counter.
 
-The used translation granule size is undefined.
+The used translation granule size for both `TTBR0_EL1` and `TTBR1_EL1` is 4KiB.
+
+For base revisions &gt; 0, `TCR_EL1.T0SZ` is set to 16, and `TTBR0_EL1`
+is left undefined.
 
 If booted by EFI/UEFI, boot services are exited.