As per the title, I am following the guide "Creating a New MQX RTOS for KSDK Project in KDS". We are using the MK60DX256Zxxx10 processor and our own custom PCB. When I go to make the project, however, I get hung up on step 2.4, as Kinetis SDK is greyed out. I have downloaded and installed the latest KDS and KSDK, as well as gone through the salient upgrades from the KDS eclipse client. Are the K60 processors not supported by the latest KSDK version? Must I do something else before I can continue the tutorial?