[j_leboulanger]

Because the RP2040 is not the main controller of the RPi.

It's a micro controller, on which the Raspberry Pi Pico is based, at $4