HGKeeper

SVGHMI: Send thread now is a thread created in svghmi.c (was a python thread). Still works on vanilla linux, still not on bugous xenomai 3.1rc3 posix skin
svghmi
2019-12-06, Edouard Tisserant

55ed9df633d4

SVGHMI: Send thread now is a thread created in svghmi.c (was a python thread). Still works on vanilla linux, still not on bugous xenomai 3.1rc3 posix skin

<xsd:element name="Xenomai">

<xsd:complexType>

%(toolchain_gcc)s

<xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>

</xsd:complexType>

</xsd:element>

beremiz