I've had a project using pico-sdk and FreeRTOS-Kernel, which used a CMake OBJECT library, because