We can use the pico-arduino project just as additional library.
The magic happens in the CMakeLists.txt where the project is included with the help of FetchContent. After doing this we have the full Arduino functionality available in our project.