Port of the Ravenscar runtime on a stm32f4 discovery board