From 0011fcb2328cf387225a72eee7bdc3d8ea31d71d Mon Sep 17 00:00:00 2001 From: "Luke T. Shumaker" Date: Fri, 15 Nov 2024 00:12:32 -0700 Subject: build-sys: Minimize the pico-sdk runtime --- 3rd-party/pico-sdk | 2 +- cmd/sbc_harness/CMakeLists.txt | 3 +-- libhw/rp2040_hwtimer.c | 5 +++++ 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/3rd-party/pico-sdk b/3rd-party/pico-sdk index efe2103..a029d9c 160000 --- a/3rd-party/pico-sdk +++ b/3rd-party/pico-sdk @@ -1 +1 @@ -Subproject commit efe2103f9b28458a1615ff096054479743ade236 +Subproject commit a029d9c1cc930ca972e7b52616e773e4d420a07e diff --git a/cmd/sbc_harness/CMakeLists.txt b/cmd/sbc_harness/CMakeLists.txt index ec28446..6199e0c 100644 --- a/cmd/sbc_harness/CMakeLists.txt +++ b/cmd/sbc_harness/CMakeLists.txt @@ -22,8 +22,7 @@ target_link_libraries(sbc_harness_objs libdhcp libhw ) -set_target_properties(sbc_harness_objs PROPERTIES PICO_TARGET_FLOAT_IMPL "pico_float_none") # default (pico), compiler, pico, none -set_target_properties(sbc_harness_objs PROPERTIES PICO_TARGET_DOUBLE_IMPL "pico_double_none") # default (pico), compiler, pico, none +pico_minimize_runtime(sbc_harness_objs) pico_enable_stdio_usb(sbc_harness_objs 0) pico_enable_stdio_uart(sbc_harness_objs 1) pico_enable_stdio_semihosting(sbc_harness_objs 0) 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 #include +/******************************************************************************/ + +/** 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