true, по первой ссылке непосредственно тот код, который используется для прошивки.
Смысл в том, что на МК уже стоит простая прошивка (настоящая, написанная на си), которая позволяет переходить в режим прошивки, сохранять код, и интерпретировать его.
Espruino IDE просто отправляет код на МК.