pico_simple_hardware_target(timer)
target_link_libraries(hardware_timer INTERFACE hardware_claim)
