From 845bac6e9dde3e523ad090605699d39152fc8920 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 30 Oct 2025 16:04:17 +1100 Subject: [PATCH] Mark RFC-5 as implemented At the time of RFC-5 being accepted the TSC had requested that Microkit make use of capDL for the system initialisation. As of [1] this is now done. [1]: https://github.com/seL4/microkit/pull/337 Signed-off-by: Ivan Velickovic --- src/{active => implemented}/0050-microkit.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{active => implemented}/0050-microkit.md (100%) diff --git a/src/active/0050-microkit.md b/src/implemented/0050-microkit.md similarity index 100% rename from src/active/0050-microkit.md rename to src/implemented/0050-microkit.md