This firmware is based on this SDK. SDK creators have decided to use RTX5 and I'm not sure is it good choice? We probably don't have the resources to immediately change this, but I think it would be good to discuss, what we would like to use in the future? If we decide that FreeRTOS (or other) is better than RTX5, then let's make that a goal and try to move to it at some point.