Pawn. Си подобный синтаксис. Исходник компилируется на ПК в байт-код. Байт-код выполняет виртуальная машина. Есть разные варианты реализации ВМ: на чистом Си, на асм-е для некоторых платформ. Вариант на асм-е для ARM говорят дает всего 10 кратную потерю производительности :).
Отладка на целевой машине через uart. Достойная документация. Можно запускать большую программу в ограниченных ресурсах благодаря механизму оверлеев.
Больше прекрасно здесь