I don't know it out of the top of my head, but since the SODAQ board runs on a ATSAMD21G18 processor, I would suggest reading it's datasheet. You can find a lot of info there on how to use the different timers and setting them up using registers.https://www.microchip.com/wwwproducts/en/ATsamd21g18

How much experience do you have using MCU timers? Setting registers for different prescalers and such?

Let me know and I could look up a couple of helpful guides that have helped me out in the past.

If you have never worked with timers before. I would suggest looking up some code online that people have used with the Arduino Zero. (Since it has the same MCU as the SODAQ board). The Arduino community is pretty big nowadays.

ArduinoZeroTimer.ino

/*
This sketch illustrates how to set a timer on an SAMD21 based board in Arduino (Feather M0, Arduino Zero should work)
*/
uint32_t sampleRate = 10; //sample rate of the sine wave in Hertz, how many times per second the TC5_Handler() function gets called per second basically
#define LED_PIN 13 //just for an example
bool state = 0; //just for an example