Oh dear, I've looked at the code you referred to and it's fairly much mumbo-jumbo to me

I guess we need to add another bool called wake to the typedef for machine_rtc_config and also another static object similar to esp32_wake_on_touch called esp32_wake but I don't see where these connect to the "real world" which for the ulp timer wakeup API is here and for our new ULP wakeup for the WAKE instruction would be this.
I so want this to work but I fear that I am going to need so much help that my input will be negligible. However, I can see that the code required is small and so maybe I can stumble through it with some help



Anyway, still waiting to find non-V0/V1 chip dev boards, so there's no rush I guess...