# chip_kernel_impl.c
chip_initialize
chip_terminate

# chip_timer.c
target_hrt_initialize
target_hrt_terminate
target_hrt_handler

INCLUDE "core"