.... /lib/ksdk_platform_lib/kds/K64F12/debug/ksdk_platform_lib.a - I've traced the path and there is no file "ksdk_platform_lib.a" - what am I doing wrong? <argh>
It appears like all is solved by this thread.
Writing my first KSDK Application in KDS - Hello World and GPIO Interrupt