Chibios - fast realtime OS with HAL

ChibiOS/RT is designed for deeply embedded real time applications where execution efficiency and compact code are important requirements. This RTOS is characterized by its high portability, compact size and, mainly, by its architecture optimized for extremely efficient context switching.






 Officially Supported Ports

Core Architecture	Compiler	Supported Platforms
ARM Cortex-M0 (ARMv6-M)	GCC	LPC11xx
ARM Cortex-M0 (ARMv6-M)	RVCT	LPC11xx
ARM Cortex-M3 (ARMv7-M)	GCC	LPC13xx, STM32
ARM Cortex-M3 (ARMv7-M)	IAR	LPC13xx, STM32
ARM Cortex-M3 (ARMv7-M)	RVCT	LPC13xx, STM32
ARM7	GCC	AT91SAM7x, LPC214x
MegaAVR	GCC	ATmega128, AT90CAN128
MSP430	GCC	MSP430F1611
Power Architecture e200z	GCC	SPC563Mx, MPC563x
STM8	Cosmic	STM8L, STM8S
STM8	Raisonance	STM8L, STM8S

I think, this architecture has future.
http://www.chibios.org/dokuwiki/doku.php?id=news