digitalfanatics.org
FreeRTOS
FreeRTOS is a free, as in liberty, real-time operating system for embedded systems. This means that you can have tasks, mutexes and timers for your PIC32/24, AVR32 or Cortex M3. In fact, there is o…