Files
ArduinoCore-AT32F4/cores/arduino/HardwareSerial.h