/**
 * @file include/di_fw/os.h
 * @brief battery header file
 * @date February 11, 2016
 * @author J.J.J. Jacobs
 * @copyright 2016 Dual Inventive Technology Centre B.V.
 */
#ifndef INCLUDE_DI_FW_OS_
#define INCLUDE_DI_FW_OS_

#ifdef CHIBIOS_KERNEL_RT
#include <ch.h>
#endif
#include <hal.h>

#if CH_KERNEL_MAJOR >= 5
#define MS2ST(t) chTimeMS2I(t)
#define S2ST(t) chTimeS2I(t)
#endif

#endif