#include "bsp_wdgt.h"
#include "gd32f30x.h"

void bsp_fwdgt_init(void)
{
    /* configure FWDGT counter clock: 40KHz(IRC40K) / 64 = 0.625 KHz */
    fwdgt_config(2400, FWDGT_PSC_DIV64);
    /* After 1.5 seconds to generate a reset */
    fwdgt_enable();
}

void bsp_fwdgt_feed(void)
{
    /* reload FWDGT counter */
    fwdgt_counter_reload();
}