FreeRTOS zb, läuft auf so gut wie jedem 32-Bitter und ist mit dem GCC kompatibel.

MfG Mark