Over the last couple of years I’ve been trying to port the [Inferno operating system to various MicroMod boards. A summary can be found [on this page.
Possibly the most accessible of these is the Artemis port because the processor has enough RAM to work with, and because one of the UARTs is exposed to the USB bus via an on-board adapter, making it possible to access the console without a separate USB adapter.
I’m hoping to spend more time fine-tuning and improving some of these ports over the next few months. Hopefully, there’s something there for others to find useful.](Inferno Ports)](https://inferno-os.org)