LAOS Laser

h1. 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)