pico-sdk icon indicating copy to clipboard operation
pico-sdk copied to clipboard

Add missing dependency to hardware_timer in host-mode pico-platform

Open rhulme opened this issue 1 month ago • 0 comments

Trying to link against pico_platform in host mode fails with "fatal error: hardware/timer.h: No such file or directory"

Fixes #2733

rhulme avatar Nov 27 '25 19:11 rhulme