Small real time operating system for AVR and ARM microcontrollers
...It uses a static memory allocation scheme.
AvRtos is nearly the smallest RTOS out there. Even pico]OS is much bigger.
AvRtos can be compiled using gcc compiler. There is a AvrStudio 4 and Eclipse project file to get the example code working very quickly.
...It includes various bus infrastructure templates and also provides Linux device driver code completion, code assistance & code navigation for developers.
Download -
LinK+ IDE for 32 & 64-bit architecture : https://sourceforge.net/projects/linkplustest/files/installers/
LinK+ Update Site (compatible with Eclipse IDE v3.6.x ): http://sourceforge.net/projects/linkplustest/files/repository/
User Manual: http://sourceforge.net/projects/linkplustest/files/documentation/LinK%2B_UserManual_Rev4.pdf