From fa119d0c6eb9983b649a548a0008270801f00526 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Fri, 28 Nov 2025 00:12:26 +0100
Subject: [PATCH] Fix build for ESP32.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/led/led.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/led/led.c b/src/led/led.c
index cf24780..ea42fd6 100644
--- a/src/led/led.c
+++ b/src/led/led.c
@@ -21,6 +21,7 @@
 #ifdef PICO_PLATFORM
 #include "bsp/board.h"
 #elif defined(ESP_PLATFORM)
+#include "driver/gpio.h"
 #include "esp_compat.h"
 #elif defined(ENABLE_EMULATION)
 #include "emulation.h"