src/sys/power.c


1
2
3
4
5
6
7

#include "../sys/core.h"
#include "../sys/power.h"

void reboot(void) {
	store32(PM_WDOG, PM_PASSWORD | 1);
	store32(PM_RSTC, PM_PASSWORD | PM_RSTC_WRCFG_FULL_RESET);
}