K24F12 platform and freertos specific files