From 164eaa5b80295ff9ef3a8ebf8949d5db4699f904 Mon Sep 17 00:00:00 2001
From: graham sanderson <graham.sanderson@raspberrypi.com>
Date: Thu, 3 Jun 2021 15:18:41 -0500
Subject: [PATCH] add pico.h to fix build

---
 src/get_serial.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/get_serial.c b/src/get_serial.c
index 7bf72e3..04bf77a 100644
--- a/src/get_serial.c
+++ b/src/get_serial.c
@@ -24,6 +24,7 @@
  */
 
 #include <stdint.h>
+#include "pico.h"
 #include "pico/unique_id.h"
 #include "get_serial.h"