rtos: removed chSysInit from detection of Chibi...
Patch submitted (change 3381).
Patch submitted (change 3321).
Removed chSysInit from detection of ChibiOS (#121)
Removed reliance on chSysInit symbol for the de...
Yes, that would be my suggestion. I'm happy to submit a patch myself. Note that both...
ChibiOS rtos detection fails with LTO enabled