https://techtutorialsx.com/2018/06/10/esp32-espruino-get-sdk-version-free-heap-and-software-reset/