diff -r 87dac789bdaf -r 9ce94d0d3764 targets/Linux/XSD
--- a/targets/Linux/XSD	Tue Feb 28 15:06:13 2023 +0100
+++ b/targets/Linux/XSD	Tue Feb 28 15:08:43 2023 +0100
@@ -1,6 +1,7 @@
 
                   <xsd:element name="Linux">
                     <xsd:complexType>
+                      <xsd:attribute name="RealTime" type="xsd:boolean" use="optional" default="false"/>
                       %(toolchain_gcc)s
                     </xsd:complexType>
-                  </xsd:element>
\ No newline at end of file
+                  </xsd:element>