diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd index 938dcdb8f..85bb24b34 100644 --- a/repos/os/src/init/config.xsd +++ b/repos/os/src/init/config.xsd @@ -126,6 +126,12 @@ + + + + + + @@ -143,6 +149,8 @@ + +