FreeRTOS is probably the most popular operating system for microcontroller. It supports many different architectures, including the ARM Cortex-M architectures.

Microcontroller ARC Cortex-M3 with central processor LPC1778, frequency 120 MHz, 96 KB SRAM, 512 KB