Hi, Antonio,
Regarding your question, if you use FreeRTOS os, especially the Tasknotify() function, I suggest you use Kinetis SDK2.0. But I have checked the website, it seems that current SDK2.0 does not support Kl25 till now, the current SDK2.0 supports MKl27Z128xxx4. You can download SDK2.0 based on Kl27z, I think it is okay to create a project based on SDK2.0 of Kl27 for Kl25, but I never have a try.
You can download sdk2.0 from the website:
http://www.nxp.com/ksdk
Hope it can help you.
BR