It's jsiDumpHardwareInitialisation that creates the JS from pin state.
On all other boards the default pin state is JSHPINSTATE_GPIO_IN unless they're used for something else.
So:
build_platform_config should set up IS_PIN_USED_INTERNALLY so that it returns true for any pins that are actually used for internal stuff (flash/xtal/etc)
Ideally the default pin state should just be 'input' in order to match all the other Espruino devices. If that's not possible then adding a specific ESPxx hack to the end of jsiDumpHardwareInitialisation to check against JSHPINSTATE_GPIO_IN_PULLUP instead might do it
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
It's jsiDumpHardwareInitialisation that creates the JS from pin state.
On all other boards the default pin state is JSHPINSTATE_GPIO_IN unless they're used for something else.
So: