Czy ESP32 zakupiony na BG ma preinstalowany MicroPython?

Jak sprawdzić, czy zakupiona na BG płytka ma już micropython "na pokładzie"? W opisie jest: "Default firmware: latest MicroPytho", ale po podłączeniu do komputera w oknie terminala nie ma znaku zachęty REPL.

Pozdrawiam
Kamil

Mam ESP32-WROVER-B.
Po resecie w oknie terminala mam komunikat:
rst:0x1 (POWERON_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
configsip: 0, SPIWP:0xee
clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
mode:DIO, clock div:2
load:0x3fff0018,len:4
load:0x3fff001c,len:952
load:0x40078000,len:6084
load:0x40080000,len:7944
entry 0x40080310
Setup done
scan start
scan done
8 networks found
1: Vectra-WiFi-612567 (-48)*
2: vnet-A9ECAE (-83)*
3: TP-LINK (-88)*
... i to wszystko. Brak znaku zachęty >>>

[Dodano]
Wygląda na to, że w standardzie go nie ma. Po wgraniu pliku esp32spiram-idf3-20191220-v1.12.bin jest już ok.