From cc78469c0101b8b203b86768b26ca9317bd8e71f Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Tue, 21 Apr 2026 00:13:37 +0200
Subject: [PATCH] Add stdio header.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/fs/low_flash.c | 3 ++-
 src/serial.c       | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/fs/low_flash.c b/src/fs/low_flash.c
index 2a56f3b..9930e4a 100644
--- a/src/fs/low_flash.c
+++ b/src/fs/low_flash.c
@@ -17,7 +17,8 @@
 
 #include "picokeys.h"
 #include "serial.h"
- #include "crypto_utils.h"
+#include "crypto_utils.h"
+#include <stdio.h>
 #ifdef PICO_PLATFORM
  #include "hardware/flash.h"
  #include "hardware/sync.h"
diff --git a/src/serial.c b/src/serial.c
index 15c3159..3190510 100644
--- a/src/serial.c
+++ b/src/serial.c
@@ -21,6 +21,7 @@
 #if defined(ESP_PLATFORM)
 #include "esp_efuse.h"
 #endif
+#include <stdio.h>
 
 char pico_serial_str[2 * PICO_UNIQUE_BOARD_ID_SIZE_BYTES + 1];
 uint8_t pico_serial_hash[32];