rfc-11: record disposition

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 13, 2024 · 732fd30 · 732fd30
1 parent 371c8a3
commit 732fd30
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/implemented/0100-refactor-aarch64-vspace.md b/src/implemented/0100-refactor-aarch64-vspace.md
@@ -111,3 +111,7 @@ There are existing pull-requests that show-case the proposed changes.
 
 As always, verification progress can lead to design or implementation changes as
 bugs are found or verification blockers are encountered.
+
+## Disposition
+
+The TSC has voted to approve this RFC for implementation without changes.