Full threadcaerwy·You can also run inferno on a raspberry pi pico. I did the port here https://github.com/caerwynj/inferno-os/tree/picoView on HN