Hi Leon,
Its on-line, libmDot 1.0.8-1-g7ae9ef7
mbed 121
mbed-rtos 110
I cant provide the app in a public forum due to it being for a client, plus it is on custom hardware with a PIR sensor driving the input. A generic app with alternate deep sleep using INTERRUPT and RTC_ALARM should show the effect.
After further updates, I think I might have found a workaround and got it working.
Thanks
Andrew