mbed-os
mbed-events
.build
.mbed
mbed_settings.py
js/pins.js
source/pins.cpp
source/jerry-targetjs.h