This firmware is based on [this SDK](https://wiki.pine64.org/wiki/PineBuds_Pro#SDK_Release). 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.