From 61c068df44b7938208b2354cf1a1d1a30a298733 Mon Sep 17 00:00:00 2001 From: mintsuki Date: Sat, 16 Sep 2023 10:28:57 -0500 Subject: [PATCH] docs: PROTOCOL.md: Minor fixes --- PROTOCOL.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/PROTOCOL.md b/PROTOCOL.md index dea07a0fb..fbcff34a7 100644 --- a/PROTOCOL.md +++ b/PROTOCOL.md @@ -112,9 +112,9 @@ config). ## Caching -### x86_64 +### x86-64 -The kernel executable, loaded at or above `0xffffffff80000000`, see all of its +The kernel executable, loaded at or above `0xffffffff80000000`, sees all of its segments mapped using write-back (WB) caching at the page tables level. All HHDM memory regions are mapped using write-back (WB) caching at the page @@ -137,7 +137,7 @@ The MTRRs are left as the firmware set them up. ### aarch64 -The kernel executable, loaded at or above `0xffffffff80000000`, see all of its +The kernel executable, loaded at or above `0xffffffff80000000`, sees 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 @@ -161,7 +161,7 @@ with the default `PBMT=PMA`. If the `Svpbmt` extension is not available, no PMAs can be overridden (effectively, everything is mapped with `PBMT=PMA`). -## Entry machine state +## Machine state at entry ### x86_64