add_library_ex(prt_dispatch.S)
add_library_ex(prt_hwi.c)
add_library_ex(prt_vector.S)
add_library_ex(prt_reset_vector.S)