From b0c7faee9cbcef94939cb3f182710fc150201f6b Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Tue, 14 Jul 2026 01:30:42 +0200
Subject: [PATCH] Add board_millis for emulation.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/usb/lwip/rest_server_tls.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/usb/lwip/rest_server_tls.c b/src/usb/lwip/rest_server_tls.c
index 551bbe2..99a7330 100644
--- a/src/usb/lwip/rest_server_tls.c
+++ b/src/usb/lwip/rest_server_tls.c
@@ -17,6 +17,9 @@
 
 #include "picokeys.h"
 #include "rest_server_tls.h"
+#ifdef ENABLE_EMULATION
+#include "compat/board.h"
+#endif
 
 #ifdef _MSC_VER
 #include <string.h>