Configuring an Arduino sketch to output Serial data over STLINK interface

main.cpp

// configuring an Arduino sketch to output Serial data over STLINK interface

#define serialDebug Serial
HardwareSerial stlinkSerial(PIN_VCP_RX, PIN_VCP_TX);

void setup()
{
#ifdef serialDebug
  stlinkSerial.begin(115200);
  const size_t usb_timeout_ms = 3000;
  for (const size_t start_ms = millis(); !stlinkSerial && (millis() - start_ms) < usb_timeout_ms;)
    ;
#endif
  
  stlinkSerial.println("Hello World (Setup)");
}

void loop()
{
  delay(2000);
  stlinkSerial.println("Hello World (Loop)");
}