RTOS ChibiOS/RT on Arduino

FYI - I've removed dust from my STM32VL Discovery @56MHz and this is the result of the test suite:
PS: I would be very happy to see the results from STM32F4 Discovery kit!

STM32VL _DISCO_56MHz.txt (6.95 KB)