9.8.1.2.1 Code

Copy-paste the following code to your user application:
while (true) {
    if (extint_chan_is_detected(BUTTON_0_EIC_LINE)) {

        // Do something in response to EXTINT edge detection
        bool button_pin_state = port_pin_get_input_level(BUTTON_0_PIN);
        port_pin_set_output_level(LED_0_PIN, button_pin_state);

        extint_chan_clear_detected(BUTTON_0_EIC_LINE);
    }
}