| author | Edouard Tisserant <edouard.tisserant@gmail.com> |
| Fri, 26 Apr 2024 09:24:26 +0200 | |
| changeset 3938 | fc4af5685aa3 |
| parent 3732 | 929276eea252 |
| permissions | -rw-r--r-- |
| 203 | 1 |
|
2 |
<xsd:element name="Linux"> |
|
3 |
<xsd:complexType> |
|
|
3732
929276eea252
Runtime: Add RealTime checkbox in Linux target options to enable PREEMPT_RT scheduling.
Edouard Tisserant
parents:
204
diff
changeset
|
4 |
<xsd:attribute name="RealTime" type="xsd:boolean" use="optional" default="false"/> |
| 203 | 5 |
%(toolchain_gcc)s |
6 |
</xsd:complexType> |
|
|
3732
929276eea252
Runtime: Add RealTime checkbox in Linux target options to enable PREEMPT_RT scheduling.
Edouard Tisserant
parents:
204
diff
changeset
|
7 |
</xsd:element> |