#pragma once

void power_init(void);
void power_sleep_until_button(void);   /* SYSTEM_ON WFI, woken by GPIOTE event */