What is the default Arduino Serial RX buffer size on ESP32

The default RX buffer size for the Arduino Serial on ESP32 is 256 bytes. This is defined in the HardwareSerial.cpp file of the ESP32 Arduino core.