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