pico-sdk
pico-sdk copied to clipboard
Add missing dependency to hardware_timer in host-mode pico-platform
Trying to link against pico_platform in host mode fails with "fatal error: hardware/timer.h: No such file or directory"
Fixes #2733