Do we have any information on how to enable/support Tickless Idle mode in FreeRTOS on the PSoC 6 (ideally 63 BLE but any device)?
There is some guidance here but not PSoC specific https://www.freertos.org/low-power-tickless-rtos.html
There is no difference with PSoC. Simply set the configUSE_TICKLESS_IDLE to 1 in the FreeRTOSConfig.h and implement the following function in your application:
void vPortSuppressTicksAndSleep( TickType_t xExpectedIdleTime )