4 ms·
DiscoBSD http://www.discobsd.org/ http://www.discobsd.org/ seems to be possible to use for similar things.
by avmich 2y ago
DiscoBSD http://www.discobsd.org/ http://www.discobsd.org/ seems to be possible to use for similar things.
- ranger_danger 2y agoDo you know of anyone that is actually using DiscoBSD in production? I've never heard of it before.
- avmich 2y agoNo, 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.
- snvzz 2y agoI'd look at seL4, or nuttx if lazy.