test

src/main.c

@@ -209,11 +209,11 @@ int main()
     init_pwm();
     pwm_echo_init();
 
-    gpio_set_irq_enabled_with_callback(27, GPIO_IRQ_LEVEL_HIGH, true, &callback);
+    gpio_set_irq_enabled_with_callback(27, GPIO_IRQ_EDGE_FALL | GPIO_IRQ_EDGE_RISE, true, &callback);
 
     while (1)
     {
-        }
+    }
     /*
     timer_hw->dbgpause = 0;
     gpio_init(27);