Akalon is a Bare-Bones Embedded RTOS that's designed to be simple and portable to any Microprocessor or System (Board). Currently supports the Intel and ARM Architectures.
Quantum Leaps (QPC) DPP example with LWIP on STM3220G eval board
This is a port of the Dining Philosopher Problem (DPP) using the Quantum Leaps (http://state-machine.com) hierarchical state machine framework with the Light Weight IP (LwIP) network stack (http://savannah.nongnu.org/projects/lwip) and an ethernet driver implemented on the STM3220G-eval board (http://www.st.com/internet/evalboard/product/250374.jsp) running on stm32f207 Arm Cortex M3 uProcessor.
The project is eclipse based and uses Code Sourcery cross compiler. See...