cortex m4 kernel in c