1pico_simple_hardware_target(timer)
2pico_mirrored_target_link_libraries(hardware_timer INTERFACE hardware_claim hardware_irq)
3