pico-sdk
pico-sdk copied to clipboard
Fix missing headers leading to #include failing when pulling in hardware_irq and pico_bootrom
As suggested by @kilograham (in https://github.com/raspberrypi/pico-sdk/issues/1929#issuecomment-2364746391), add pico_runtime_init as well as pico_runtime and boot_picobin_headers to the CMakeLists.txts defining hardware_irq and pico_bootrom_headers.
While the issue initially was reported only for hardware_irq missing pico_runtime_init, the same issue affect the other mentionned.
Fixes #1929