I'm using FreeRTOS with SDK_2.0_MK24FN1M0xxx12 on a custom board. And I'm using the default clock configuration created with the new clock tool in KEx Tools v2.0 (FEI MCG Mode, System clock 20.97152 MHz). Also I'm using the default FreeRTOSConfig.h. I wrote a simple task to periodically print the tick count but xTaskIncrementTick() in task.c never gets called and the tick count remains 0. Any ideas on what the problem is? I'm assuming the SysTick interrupt is enabled by default (bad assumption?).