#include "hal.h"

#include "timesync.h"

#ifdef __cplusplus
  extern "C"
#endif
void vTaskAERO(void* pvParameters);