# target_kernel_impl.c
arm_tnum_memory_area
arm_memory_area
target_initialize
target_exit

INCLUDE "chip"
