diff -r 549763a28934 -r 929276eea252 targets/Linux/XSD
--- a/targets/Linux/XSD	Tue Feb 21 11:38:45 2023 +0100
+++ b/targets/Linux/XSD	Tue Feb 21 11:47:11 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>