#include "util.h"

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"

unsigned long IRAM_ATTR millis() {
    return xTaskGetTickCount() * portTICK_PERIOD_MS;
}