Does the ESP32 purchased on BG have MicroPython pre-installed?

How to check if the [url=https://www.banggood.com/LILYGO-TTGO-T-Koala-ESP32-WiFi-and-bluetooth-Module-4MB-Development-Board-Based-on-ESP32-WROVER-B-Type-C-p-1418428.html] board purchased on BG [url=https://www.banggood.com/LILYGO-TTGO-T-Koala-ESP32-WiFi-and-bluetooth-Module-4MB-Development-Board-Based-on-ESP32-WROVER-B-Type-C-p-1418428.html] already has micropython "on board"? The description states: "Default firmware: latest MicroPytho", but when connected to the computer there is no REPL prompt in the terminal window.

Greetings
Kamil

And can you see anything in the terminal while the ESP32 is booting up?

kamilmm wrote:

is the board purchased on BG

.
The auction description is strange. In the title and picture it says ESP32-WROVER-B, and in the description it already says ESP32-WROOM-32. what did you actually purchase? .

I have an ESP32-WROVER-B.
After a reset in the terminal window I have the message:
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:D IO, 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)*
... and that's it. No prompt >>>

[Added]
It seems that it is not present in the standard. After uploading the file esp32spiram-idf3-20191220-v1.12.bin it is now ok.