Bibliography

“Using The FreeRTOS Real Time Kernel, LPC17xx edition” Richard Barry

Mbed RTOS: http://developer.mbed.org/handbook/RTOS CMSIS RTOS: http://developer.mbed.org/handbook/CMSIS-RTOS Mbed RTOS API: http://developer.mbed.org/users/mbed_official/code/mbed-rtos/docs/tip/ RTX, CMSIS RTOS Documentation: http://www.keil.com/pack/doc/cmsis_rtx/group___c_m_s_i_s___r_t_o_s.html RTX theory of operation: http://www.keil.com/support/man/docs/rlarm/rlarm_ar_rrobmt.htm