Did you see that it's an rpi pico, which doesn't really run OSes in the traditional sense?

You are right, when I skimmed through I thought it’s an sbc one. Still very cool, would try it later.

	▲	dmonterocrespo an hour ago \| parent [-]
		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!