Well I was following the tutorial from (Writing my first KSDK1.2 Application in KDS3.0 - Hello World and Toggle LED with GPIO Interrupt ) on my Ubuntu 14.04 machine. Everything gone well, until I hit the "new project wizard". At the third "next" (I could name the project and select the board properly) I was not able to select the KSDK option in the combobox, as you can see in the picture below:
Is this normal? I suppose that is causing some misconfiguration in the new project, because I was not able to build it!