Graham Sanderson
Graham Sanderson
sure; submit a PR
cc @Wren6991
I think this is now obsolete; please reopen if not
The include directories should be correct by default, so there is something else messed up with your build environment(s) can you post `CMakeLists.txt`
Hmm, can you try with https://github.com/raspberrypi/FreeRTOS-Kernel instead (the upstream does not have latest fixes or SDK 2.0.0 related changes, but i wasn't aware it was broken with SDK 2.0.0)
> Even if I manually specify the include path include_directories($ENV{PICO_SDK_PATH}/src/host/pico_runtime/include), yeah, i mean that shouldn't be the fix
Oh, well, yeah.. not sure where people came up with that method of pulling in FreeRTOS_Kernel You should use FreeRTOS_Kernel_Import.cmake (like pico-sdk-import)
It needs `pico_runtime_init`... it is a bug that it doesn't depend on it directly
latest PR merged into develop
I'll leave this around, just because i thought (and maybe this isn't the case) that it might require changes to our UART code to make this friendly - if this...