Bump kernel revision to '6de399dc6 mcs: rephrase refill_capacity to e…

…ase verification' Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 24, 2023 · b7b88d2 · b7b88d2
1 parent 8d774c8
commit b7b88d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mcs.xml b/mcs.xml
@@ -12,5 +12,5 @@
   <project name="isabelle" revision="ts-2023" />
   <project name="l4v" revision="rt" />
   <project name="polyml" path="HOL4/polyml" revision="successful-decompile"/>
-  <project name="seL4" revision="421477565d2910ffe2a37a81260b974c1c355a6a"/>
+  <project name="seL4" revision="6de399dc6550573756613b443db6fcd277b4e9c5"/>
 </manifest>