uCOS-II appears to work on STM32F3 with GNU or KEIL