manual: fix missing rename to Microkit

This one slipped past the commit that renamed everything due to being a typo. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Oct 10, 2023 · d05fd07 · d05fd07
1 parent 1c1c07c
commit d05fd07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual.md b/docs/manual.md
@@ -112,7 +112,7 @@ The key elements that make up a system are *protection domains*, *memory regions
 
 ## Protection Domains {#pd}
 
-A **protection domain** (PD) is the fundamental runtime abstraction in the seL4 platform.
+A **protection domain** (PD) is the fundamental runtime abstraction in Microkit.
 It is analogous, but very different in detail, to a process on a UNIX system.
 
 A PD provides a thread of control that executes within a fixed virtual address space.