We spent some time evaluating the KSDK v1.3.0, on K66 platform and with FreeRTOS. We got quite disappointed about the hardware drivers, for example invalidly working chip select in the SPI driver, or hard-coded channel number in the ADC driver. I deeply believe these serious bugs are known and a fix is on the way (if not, let me know, I will describe the bugs in separate threads).
Looking for the fix, we found there is already available a download of KSDK v2.0. Anyway, after downloading, we found it contains only support for K22 platform. So my question is - is there a full download of KSDK v2.0, or when will it be, and does it fix the serious driver bugs?