RTX5: update osRtxInfo initialization
@@ -90,7 +90,6 @@ static osStatus_t svcRtxKernelInitialize (void) {
#endif
// Initialize osRtxInfo
- memset(&osRtxInfo.kernel, 0, sizeof(osRtxInfo) - offsetof(osRtxInfo_t, kernel));
osRtxInfo.isr_queue.data = osRtxConfig.isr_queue.data;
osRtxInfo.isr_queue.max = osRtxConfig.isr_queue.max;
