Илья: На будущее, если хочете что-бы вас понимали в среде разработчиков железа, не называйте Espruino ядром, Espruino это dev-board ака борда ака платформа, примерно тоже самое что аурдина, только заместь AVR микроконтроллера в Espruino используется ARM проц, конкретно STM32F405RG а вот у STM32F405RG уже есть ядро ARM Cortex M4 и ARM Cortex M4 не имеет никакого отношения к Espruino.