diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd index 8193d6e3f..e0ef77746 100644 --- a/repos/os/src/init/config.xsd +++ b/repos/os/src/init/config.xsd @@ -33,6 +33,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +