BreadboardOS firmware for the Raspberry Pi RP2040 features a Linux-like terminal

cnx-software.com

34 pointsrcarmo5 comments

DiscoBSD http://www.discobsd.org/ seems to be possible to use for similar things.

Do you know of anyone that is actually using DiscoBSD in production? I've never heard of it before.

No, I don't. I don't know also if RetroBSD - a precursor - is used and how widely if so. They all look as quite a niche products.

I'd look at seL4, or nuttx if lazy.

Zephyr would also be well suited for something like this. Anyone aware of any projects that do something similar with Zephyr?