1pico_simple_hardware_target(gpio)
2pico_mirrored_target_link_libraries(hardware_gpio INTERFACE hardware_irq)