Yes, I looked at it. I also ended up not needed to wake up the board on a timer and using a pin interrupt instead which seems to work.
But the following note makes it not suitable for my needs, as I need to talk to BLE and Serial is needed for debugging. I was hoping it would have a “deferred” mode similar to regular Arduino pin interrupts, but it doesn’t.
For the time being I ended up with SoftwareTimer which seem to be part of the standard library for XIAO. It is also somewhat low level and also doesn’t have “deferred” option for callback. But it supports one-time timers and BLE and Serial seems to work in the callback.