I am trying to port Ardupilot on Pi Pico (RP2040). I understood it uses ChibiOS as RT OS.
I have experience with FreeRTOS but not with ChibiOS so I am struggling a little bit of using ChibiOS.
Let me focus on my basic question.
I tried to compile the example code in the demos folder. I used the SDK in the ext folder after unzipping it.

I am just wondering , where is the UF2 file ?
one other question, is the port for RP2040 fully functioning or there are features that are not supported?