diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index 85bb24b34..d53101fd0 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -168,6 +168,12 @@
         </xs:complexType>
        </xs:element> <!-- "resource" -->
 
+       <xs:element name="exit">
+        <xs:complexType>
+         <xs:attribute name="propagate" type="Boolean" />
+        </xs:complexType>
+       </xs:element> <!-- "exit" -->
+
        <xs:element name="configfile">
         <xs:complexType>
          <xs:attribute name="name" type="xs:string" />