Tickless mbed on Xiao nRF52840 sense and HAL API

Hey everyone! I’m trying to enable tickless mode on my Xiao nRF52840 to reduce power consumption, but I’m having trouble getting it to work properly. Does anyone have any experience or ideas on how to enable it? Does the board support the HAL API? I can’t find anything thing about it in the docs.

Thank you in advance!