$ mpremote connect /dev/ttyACM0 exec "import esp32; print(getattr(esp32, 'file', 'BUILT-IN, no file')); print(dir(esp32))"
BUILT-IN, no file
['class', 'name', 'HEAP_DATA', 'HEAP_EXEC', 'NVS', 'PCNT', 'Partition', 'RMT', 'ULP', 'WAKEUP_ALL_LOW', 'WAKEUP_ANY_HIGH', 'dict', 'idf_heap_info', 'mcu_temperature', 'wake_on_ext0', 'wake_on_ext1', 'wake_on_gpio', 'wake_on_touch', 'wake_on_ulp']
see -> core.py
$ mpremote connect /dev/ttyACM0 exec "import esp32; print(getattr(esp32, 'file', 'BUILT-IN, no file')); print(dir(esp32))"
BUILT-IN, no file
['class', 'name', 'HEAP_DATA', 'HEAP_EXEC', 'NVS', 'PCNT', 'Partition', 'RMT', 'ULP', 'WAKEUP_ALL_LOW', 'WAKEUP_ANY_HIGH', 'dict', 'idf_heap_info', 'mcu_temperature', 'wake_on_ext0', 'wake_on_ext1', 'wake_on_gpio', 'wake_on_touch', 'wake_on_ulp']
see -> core.py