#include "menu_port.h"
#include <stdio.h>
#include <stdarg.h>
#include <time.h>

void menu_port_init(void) {
    // Platform specific init
}

uint32_t menu_port_get_tick(void) {
    // Return ms
    return (uint32_t)(clock() * 1000 / CLOCKS_PER_SEC);
}

void menu_port_log(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, args);
    va_end(args);
    printf("\n");
}