Может у кого есть порт для К серии? в частности ethernetif.c и ethernetif.h.

Вы принципиально нечего не ищите на официальном сайте или реально уйма времени чтобы ждать ответа на форумах?

lwip портирован на Kinetis в самый момент их появления.
Умудриться надо чтобы не найти его файлы и ethernetif.c в том числе.

у них есть порт в SDK. SDK не поддерживает К70. Я не нашел ни одного примера для Bare Metal.

А может кто нибудь работал с FNET? Весьма достойный конкурент LWIP и заточен для Kinetis. Легко включается в проект, обширный функционал. Правда возникли вопросы.