RTOS¶

page to save some thoughts on firmware directions

current situation for released firmware:

• build online on mbed.org
• using closed mbed libs for e.g. ethernet

next step

• do offline compiling using gcc4mbed
• still using mbed libs

When making a step away from the mbed libs, we probably also need to look for an alternative of the MBED e.g. LPC1768.

feature list for new firmware environment

• open source
• ethernet support
• build environment in linux
• support for cortex-m3
• board support for LPC1768 / LCP1769
• RTOS
• easy to implement in the current code
• ethernet based on lwip (same as current code...)

some alternatives (based on being open source and cortex-m3 support)

• [http://www.coactionos.com/]
• [http://www.bertos.org/]
• [http://en.rt-thread.org/]
• [http://ecos.sourceware.org/]
• [http://erika.tuxfamily.org/drupal/]
• [http://www.freertos.org/]
• [http://www.milos.it/]
• [http://www.state-machine.com/qp/]
• [http://scmrtos.sourceforge.net/ScmRTOS]
• [http://www.sdpos.org/]
• [http://www.chibios.org/dokuwiki/doku.php]
• [http://www.coocox.org/CoOS.htm]
• [https://github.com/mbedmicro/mbed] - Open source mbed SDK, RTOS, network stack, USB stack, etc.
• [http://www.arduino.cc] from version 1.5 cortex-m3 support (through arduino due)