I am currently working on a project involving cellular and GPS capabilities. Specifically, a friend of mine and I are working with the "Arduino MKR compatible LTE/GNSS BG95 Shield" and the "Arduino MKR GPS Shield." We are trying to get the cellular shield and the GPS shield to communicate with our Arduino MKR Zero microcontroller, although both shields use the same hardware serial Serial1 communication interface. It appears that the cellular board is hard coded to certain pins that correspond to Serial1, and it cannot be changed.
So, we are trying to change the MKR GPS library to use Serial2 instead of Serial1. We've setup Serial2 as an additional UART interface, (using this tutorial: https://docs.arduino.cc/tutorials/communication/SamdSercom) but we cannot figure out how to have the MKR GPS library use the Serial2 instead of Serial1. Would anyone be able to help us out with this?