#include <Arduino.h>
#include <stdint.h>



millis_t millis() {
    return HAL_GetTick();
}

void yield() {
    // does nothing
}