Thank you, that was it !
I can build Ubuntu applications now, and tried the ADC example on the target successfully.
Although I should have noticed the AARCH64 prefix, hinting I was using the wrong toolchain ... :roll:

If I might add a follow-up question :
At login, the Pico board tells me the ...

We tested using https://snapshots.linaro.org/gnu-toolchain/11.3-2022.06-1/aarch64-linux-gnu/ .

I downloaded the linaro toolchain, and set it up more or less successfully.
A build still fails because the correct sysroot environment is missing.
The linaro toolchain certainly does not come with ...

Thank you for the quick response !

This was my first post, so the approval took some time, it seems.
In the meantime, I had flashed another SD card with a buildroot image, and tried the examples there.
And they work fine so far.

But I like the Ubuntu environment more, so I will definitely check ...

I got some issues with a Pico Mini, in particular, I cannot get any of the C examples to run on the target.
I have checked out the recent SDK with git, installed the cross toolchain, and successfully built an example.
In this case, the iio ADC example.
But it seems the SDK / toolchain and the OS on ...