Dear Dave,
I am desperately looking for some documentation about the deep sleep and intrupt and other stuff for xiao ble sense, I have found your comment here, actually, I have the same issue, I have followed the wiki and I do not have Seeed XIAO nRF52840 Sense under Arduino Mbed OS Boards menu !! It is under Seeed nRF Boards!
I attached the screenshots of my Arduino IDE, t, any idea what is the issue? I have Arduino 1.18.16 and the latest seeed libs and (https://files.seeedstudio.com/arduino/package_seeeduino_boards_index.json)
I appreciate your answer.
Thanks