@@ -61,6 +61,7 @@ EXTI->PR |= EXTI_PR_PR4; // Reset pending register of line 4
// this sets the SYSCFG->EXTICR2 register to 0010 (bits 0:3 refer to EXTI4)
SYSCFG->EXTICR[1] = 0x2;
```
Moreover, `src/shared/drivers/interrupt/external_interrupts.h` defines a helper function called _enableExternalInterrupt()_ which manages the external interrupt configuration by only specifying the GPIO port, the pin number and the interrupt trigger (rising edge, falling edge or both).
