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.
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.