From e5f4f66e3b5a10f9fdbf619bd258ffe5b5f9475b Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Tue, 17 Jun 2025 19:27:58 +0200
Subject: [PATCH] init: Added brick attribute to start node.

---
 repos/os/src/init/config.xsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd
index 58e8d66e2c..d8cc6a32a1 100644
--- a/repos/os/src/init/config.xsd
+++ b/repos/os/src/init/config.xsd
@@ -203,6 +203,7 @@
       <xs:attribute name="caps"            type="xs:int" />
       <xs:attribute name="priority"        type="xs:int" />
       <xs:attribute name="managing_system" type="Boolean" />
+      <xs:attribute name="brick"           type="Boolean" />
      </xs:complexType>
     </xs:element> <!-- "start" -->