From 0011fcb2328cf387225a72eee7bdc3d8ea31d71d Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Fri, 15 Nov 2024 00:12:32 -0700
Subject: build-sys: Minimize the pico-sdk runtime

---
 libhw/rp2040_hwtimer.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'libhw')

diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c
index 69c2a50..6f37d85 100644
--- a/libhw/rp2040_hwtimer.c
+++ b/libhw/rp2040_hwtimer.c
@@ -15,6 +15,11 @@
 #include <libhw/generic/alarmclock.h>
 #include <libhw/rp2040_hwtimer.h>
 
+/******************************************************************************/
+
+/** Conflict with pico-sdk:pico_time:!PICO_TIME_DEFAULT_ALARM_POOL_DISABLED.  */
+void add_alarm_at(void) {};
+
 /* Types **********************************************************************/
 
 struct rp2040_hwtimer {
-- 
cgit v1.2.3-2-g168b