1. Arm Limited. 2019. RTX51 Tiny Real-Time Kernel. http://www.keil.com/rtx51tiny/. Arm Limited. 2019. RTX51 Tiny Real-Time Kernel. http://www.keil.com/rtx51tiny/.
2. Richard Barry. 2019. The FreeRTOS Kernel: Market-Leading De-facto Standard and Cross Platform RTOS Kernel. https://www.freertos.org. Richard Barry. 2019. The FreeRTOS Kernel: Market-Leading De-facto Standard and Cross Platform RTOS Kernel. https://www.freertos.org.
3. Wayne A Christopher Steven J Procter and Thomas E Anderson. 1993. The Nachos Instructional Operating System. In USENIX Winter. 481--488. Wayne A Christopher Steven J Procter and Thomas E Anderson. 1993. The Nachos Instructional Operating System. In USENIX Winter. 481--488.
4. Use of FreeRTOS in Teaching a Real-Time Embedded Systems Design Course;He Nannan;The ASEE Computers in Education (CoED) Journal,2014