:: commit efce0f867b91be6b59f9f42b7cfd9bff799a15d9

diff --git a/PROTOCOL.md b/PROTOCOL.md
index 0319ecbd..9189d8f1 100644
--- a/PROTOCOL.md
+++ b/PROTOCOL.md
@@ -128,6 +128,9 @@ The MTRRs are left as the firmware set them up.
 
 ### aarch64
 
+The kernel executable, loaded at or above `0xffffffff80000000`, see all of its
+segments mapped using Normal Write-Back RW-Allocate non-transient caching mode.
+
 All HHDM memory regions are mapped using the Normal Write-Back RW-Allocate
 non-transient caching mode, except for the framebuffer regions, which are
 mapped in using an unspecified caching mode, correct for use with the