Inferno OS on the Raspberry Pi Pico. This release has very little functionality. Just the shell, a few tools and some math demos. Use it to explore the small in memory filesystem and try running some dis files. There is a '#G' device for controlling GPIO, which can make an LED blink. But there is an issue with timing interrupts, so sleep doesn't work properly.
Uses serial0 to communicate. Connect using minicom -b 115200 -o -D /dev/serial0 from a Raspberry Pi 4 and using GPIO pins for Uart serial device.