pico_simple_hardware_target(irq)

# additional sources/libraries

target_sources(hardware_irq INTERFACE ${CMAKE_CURRENT_LIST_DIR}/irq_handler_chain.S)

target_link_libraries(hardware_irq INTERFACE pico_sync) # not mirrored as only implementation requires it
if (PICO_RISCV)
    pico_mirrored_target_link_libraries(hardware_irq INTERFACE hardware_hazard3)
endif()