InfiniSim/sim/FreeRTOS.cpp

#include "FreeRTOS.h"

void NVIC_SystemReset(void) {}