#include "ticket.hpp"

extern "C" {
uint32_t zos_get_tick(void) {
#ifdef IFLYTOP_ENABLE_OS
  return osKernelSysTick();
#else
  return HAL_GetTick();
#endif
}
}