Based on SRARM/Flash requirements, this MCU should be able to handle FreeRTOS as NXP advertised but when trying to build a SDK, that option is not available, it suggests to try the FDRMKV31F MCU which is MKV31F512VLL12.
Any ideas how to get the SDK with FreeRTOS?