In your experience, what RTOS is the best for PIC32?
Hello everybody
Based in your experience, what RTOS performs better in the PIC32? I'm currently starting to use FreeRTOS but I don't know if this is the best RTOS for PIC32. I have seen some kind of benchmarking results between RTOSes here: https://www.microchip.com/forums/tm.aspx?m=279201
But I don't really trust in that kind of things. I'm looking for someone that had actually worked with one or several RTOSses and share their experience about what RTOS is the best for the PIC32 according to the projects in which you have deployed the RTOS.
Also I think that this kind of experience/knowledge will be very useful not jut for me. :grin: