Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.
[StackPlugin]
Enabled=1
OverflowWarningsEnabled=1
WarningThreshold=90
SpWarningsEnabled=1
WarnHow=0
UseTrigger=1
TriggerName=main
LimitSize=0
ByteLimit=50
[Breakpoints]
Count=0
[TraceHelper]
Enabled=0
ShowSource=1