# kernel_cfg.c
exch_tbl

# core_support.S
start_r
ret_int
ret_exc
exch_tbl
dispatch
start_dispatch
exit_and_dispatch
call_exit_kernel
default_exc_handler

# core_config.c
excpt_nest_count
core_initialize
core_terminate
x_install_exc
