# kernel_cfg.c
bitpat_cfgint

# target_config.c
board_id
board_addr
target_initialize
target_exit
x_config_int

# trace_config.c
log_dsp_enter
log_dsp_leave
log_inh_enter
log_inh_leave
log_exc_enter
log_exc_leave

INCLUDE "m68k_gcc/prc"