#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <stdint.h>
#include "stm32f4xx.h"
#include "cmd.h"

static int do_reset(CMD_TBL_S *s, zcHandle cl, int argc, char *argv[])
{
	NVIC_SystemReset();
    return 0;
}

CON_CMD(reset, 0, do_reset, "reset system");