#include "FreeRTOS.h"

void NVIC_SystemReset(void) {}