Example to demonstrate Mbed OS statistics on Keil Event Recorder - View it on GitHub