#include "nvic_wrapper.h"

void NVIC_SystemReset(void) {}