#include "irqhandler.h"

void NMI_IRQHandler(void) {}

void HardFault_IRQHandler(void) {
  while (1) {
  }
}

void SVC_IRQHandler(void) {}

void PendSV_IRQHandler(void) {}


// uint32_t g_sys_sick = 0;
// void SysTick_IRQHandler(void) {
//   g_sys_sick++;
// }