When FRDM-K22 supports mbed OS？Can I compiled program of FRDM-K22 under frdm-k64f-gcc？How to do？

[halicki (Arkadiusz Halicki)]

Kinetis K22 is supported by Freescale KSDK, thus only target hal modules and targets needed to be created, plus cmsis-core for the mcu.

Is this also valid for FRDM-KL25Z?
Thanks
Arek