/**
 * @file hal_system.c
 * @brief HAL 系统工具实现（JieLi 平台）
 */

#include "hal_system.h"
#include "system/includes.h"

uint32_t hal_system_get_time_ms(void)
{
    return timer_get_ms();
}

uint32_t hal_system_get_ticks(void)
{
    return jiffies;
}

void hal_system_reboot(void)
{
    system_reset();
}

size_t hal_system_get_free_heap(void)
{
    return get_free_mem();
}
