#include "include/gctrl.h"

void gctrl_init(void) {
    SPCTRL1 = 0x03;
    BADRSEL = 0;
    RSTS = 0x84;
}