diff --git a/include/arch/pico_mbed.h b/include/arch/pico_mbed.h
index f3e2bf494..eecb029f3 100644
--- a/include/arch/pico_mbed.h
+++ b/include/arch/pico_mbed.h
@@ -9,6 +9,7 @@
 #ifndef PICO_SUPPORT_MBED
 #define PICO_SUPPORT_MBED
 #include <stdio.h>
+#include <pico_queue.h>
 /* #include "mbed.h" */
 /* #include "serial_api.h" */