Updating default.xml

Change-Id: I52a5e6ee9775c482f7a62a0509c10cf8b7680004
seL4 · Jan 8, 2020 · 279408c · 279408c
1 parent fd87383
commit 279408c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -20,7 +20,7 @@
   <project name="musllibc.git" path="projects/musllibc" revision="a0a3af0e3a54fb3985352b4a3160503ecc8c260c" upstream="sel4"/>
   <project name="nanopb" remote="nanopb" revision="847ac296b50936a8b13d1434080cef8edeba621c" upstream="master"/>
   <project name="projects_libs" path="projects/projects_libs" remote="seL4_projects" revision="23bb3e91e398c5ae8b0fbad2aa4e2a9cddaa2da9" upstream="master"/>
-  <project name="seL4.git" path="kernel" revision="01cea266d9c88cc0ea69d09e08a2dfd56a98b558" upstream="master"/>
+  <project name="seL4.git" path="kernel" revision="b4e529ab2cb4036e7a6bfbc2155de7c419fccc71" upstream="master"/>
   <project name="seL4_libs" path="projects/seL4_libs" revision="7ae68ec7f731156efb3bc52e9ff9795c50ca641f" upstream="master"/>
   <project name="seL4_tools.git" path="tools/seL4" revision="8008badd8c4a9ec8ca60497030fab32981b41245" upstream="master">
     <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>