Hard real-time system with Ada Ravenscar on STM32F429I-DISCOVERY micro-controller - View it on GitHub