//
// Created by xemon on 29.08.22.
//
#include <cmsis_os.h>
#include "SystemDelayInterface.h"
#include "systickcounter.h"
#include "ext_telematica.h"

const uint32_t SystemWaitForever = osWaitForever;

void SystemDelayMs(uint32_t ms) {
    EXT_ENV_TELE.osFreeRTOS.SystemDelayMs(ms);
}

uint64_t SystemGetMs() {
    return EXT_ENV_TELE.osFreeRTOS.SystemGetMs();
}