| changeset 3732 | 929276eea252 |
| parent 204 | f572ab819769 |
| 3731:549763a28934 | 3732:929276eea252 |
|---|---|
1 |
1 |
2 <xsd:element name="Linux"> |
2 <xsd:element name="Linux"> |
3 <xsd:complexType> |
3 <xsd:complexType> |
4 <xsd:attribute name="RealTime" type="xsd:boolean" use="optional" default="false"/> |
|
4 %(toolchain_gcc)s |
5 %(toolchain_gcc)s |
5 </xsd:complexType> |
6 </xsd:complexType> |
6 </xsd:element> |
7 </xsd:element> |