Comment by matthewmacleod

But this is a Pi Pico, which is a microcontroller and not a Linux system.