XPDS14: Porting FreeRTOS to Xen on the ARM Cortex A15 - Jonathan Daugherty, Galois
ASU Real-Time Operating System. Supervised by: Dr. Mohammed Sobh.
FreeRTOS Stm32 Cube
Developing Applications on STM32CubeF4 With RTOS