#include <Arduino.h>

#include <HardwareSerial.h>





//Muxing:
//https://wiki.seeedstudio.com/xiao_esp32s3_pin_multiplexing/ 

void loop_serial(void);
void setup_serial(void);

void setup()
{
  setup_serial();

}
void loop()
{
  loop_serial();
}


void setup_serial() {
  // Initialize UARTs with desired baud rates and pins
  pinMode(LED_BUILTIN, OUTPUT);
  Serial.begin(115200);// SERIAL_8N1, 44, 43);//, SERIAL_8N1, rxPin1, txPin1); 
  Serial1.begin(115200, SERIAL_8N1, 1, 2); 
  Serial2.begin(115200, SERIAL_8N1, 3, 4); 
}

void loop_serial() {
  Serial.println("Hello from UART0");
  Serial1.println("Hello from UART1");
  Serial2.println("Hello from UART2");  
  // wait for a second before repeating the loop
  digitalWrite(LED_BUILTIN, !digitalRead(LED_BUILTIN));  // toggle LED
  delay(1000);
}