ChibiOS Free Embedded RTOS

I've reading through and it sounds like a combination of tickless mode and setting the power mode in the idke thread hook is the way to go. Are there any existing code samples for this?


Thanks!