Would it be possible to use timer2 for os_ticks and during os_idle to go into extended standby mode?
Timer2 runs during that mode from xtal clk, can wake up the cpu when os_tick fires and it takes only 6clock cykles to wake up. So when scheduler sees there is nothing to do it can sleep for a while.. p.