Yeah exactly ,the Pico (RP2040) is a microcontroller rather than a full SBC, so it doesn't run a traditional OS like Linux.

In the future I'd like to support more low-level experimentation though (bare-metal programs, custom runtimes, etc.).

Thanks for checking it out!