After installing mbed-cli and using KDS3.2 with KSDK2.1 installed:
mbed import https://github.com/ARMmbed/mbed-os-example-blinky blinky_k64f_kds
mbed config TARGET K64F
mbed export -i kds
And importing blinky_k64f_kds into KDS, the project is dysfunctional. For starters, it appears to have the code for all targets included in the project.
Anyone else get further along with a different incantation of mbed-cli (which is poorly documented)?