fixup "init: make label rewriting more flexible" (diag="yes")

Issue #5447
genodelabs · Feb 13, 2025 · 166870b · 166870b
1 parent 4d943ef
commit 166870b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
@@ -11,6 +11,7 @@
      <xs:attribute name="identity"        type="Session_label" />
      <xs:attribute name="resource"        type="Session_label" />
      <xs:attribute name="prefix_resource" type="Session_label" />
+     <xs:attribute name="diag"            type="Boolean" />
     </xs:complexType>
    </xs:element>
    <xs:element name="any-child"/>