Will a Tickless FreeRTOS implementation be provided? If so, can you comment on the timer peripheral used and the power consumption.
Believe this is answered (about the timer peripheral) in Re: Deep-Sleep Timers
A watch dog timer (WDT) and two multi-counter WDTs (MCWDT) are available for timing and interrupt generation in deep sleep mode.
WDT = 16-bit, MCWDT = 3 counters (16-bit, 16-bit, 32-bit : cascadable to 64-bit)