FreeRTOS rewritten in Rust for the PIC32MX target. Support for the x86, ARM, and MSP430 ports is also desired.