That software seems to be for KSDK 1.3, not KSDK 2.0. Also, all of the examples and libraries are for IAR embedded workbench, not Kinetis Design Studio. Does NXP have plans to update the wireless stack and release something new?
In a similar thread from January How can I obtain 802.15.4 protocol stack gcc library or source for MCR20A and KW2x? Earl noted the reason for IAR
[IAR]...is a compiler more efficient than GCC and as you may know these are very complex stacks where the footprint would be considerably impacted.
I spent some time compiling an IEEE 802.15.4 project in GCC and KDS (see KW2xD SMAC projects available for KDS?), and compared the resultant binary size with that of IAR. KDS w/ gcc built to 93k, and IAR built to 83k, so only about a 10% difference in size, which to me doesn't seem considerable, unless I'm overlooking some factor?
Anyways, I've since been working off of that example project, but I'm stranded with KSDK 1.2. I see no path to upgrade to KSDK 2.0