Кто нибудь работал с демо платой Teensy 3.1? Опции

[SPLESH]

Здраствуйте

Вопрос в названии темы.

Интересует возможность открутить это от Arduino IDE. Нужно что нибудь вроде CMSIS + STD Peripherals lib но для Kinetis K20 USB 72 MHz MCU с возможностью компилировать с помошью makefile. Гуглил, но все предлагают использовать сорйцы из Arduino, которые меня не устраивают (не привык я к их стилю мне больше нравится CooCоx). Чип который используют в плате MK20DX256VLL7. CodeWarrior for MCUs стоит много и не рационален для Хобби проэкта.

Я нашел CW_MCU_V10_1_EXAMPLES и KINETIS_HEADER_FILES и как я понял скакать нужно от них но вдруг кто-то уже что-то делал, не хочу изобретать велосипед.