How do you use the Electron's extra serials in code?

I’ve recently purchased a Particle Electron for a project that requires 1 to 2 serials (aside from the USB serial). However, I am unaware of how to control these Serials. The particular ones that I am looking to use are UART4 and UART5. The closer that I can use them in comparison to Serial, the better.

All you need to do is:

#include "Serial4/Serial4.h"
#include "Serial5/Serial5.h"

and use the Serial4 or Serial5 object instead of Serial.

https://docs.particle.io/reference/firmware/electron/#serial

That’s it!

Thank you, that is exactly what I needed.