# chip_kernel_impl.c
chip_initialize
chip_terminate

# chip_timer.c
target_hrt_initialize
target_hrt_terminate
target_hrt_set_event
target_hrt_raise_event
target_hrt_handler
target_ovrtimer_initialize
target_ovrtimer_terminate
target_ovrtimer_stop
target_ovrtimer_get_current
target_ovrtimer_handler

INCLUDE "core"