pico_simple_hardware_target(irq)

# additional sources/libraries

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

# irq.c includes pico/runtime_init.h
target_link_libraries(hardware_irq INTERFACE pico_sync pico_runtime_init_headers) # not mirrored as only implementation requires it
if (PICO_RISCV)
    pico_mirrored_target_link_libraries(hardware_irq INTERFACE hardware_hazard3)
endif()