MkrFox1200 SoftwareSerial.h: No such file or directory

Hi,

I'm trying to add an extra serial port capability to my MKRFOX1200. As it only seems to have a single UART and I need 2 (WiFi and GPS are both going to need separate ports and I may need to debug too with no USB serial available). I went looking around google and found that SoftwareSerial could do the trick (albeit with limitations). However, when I try a basic test compilation I get "SoftwareSerial.h: No such file or directory"

The include looks like

#include <SoftwareSerial.h>

the IDE is version 1.8.5

Any help appreciated

the MKR FOX 1200 is based on the Arduino Zero
do a web serach for arduino zero softwareserial you will get plenty of links