Dear Paul, thanks for your email. I do not intend to steal the discussion here, this is an L4 mailing list after all, but let me respond very briefly. > If you have any concrete suggestions of systems other than L4Re that > provide a decent, if basic, level of support for running user space programs > written in mature languages, that work on the MIPS architecture, and that > have not already laid down a rigidly prescriptive system architecture that > would make experimentation awkward, I would obviously like to hear them.
HelenOS offers decent (but basic) support for running user space programs written in C, C++ and to a lesser degree in Python, Lua and Java. There is a feature branch with Go support. Our MIPS support is limited to the ancient Malta development board and emulators, but it could be extended to platforms such as Ben NanoNote and CI20 quite easily (actually, both have been our GSoC project ideas for several years). I am too biased to judge whether HelenOS' architecture is rigidly prescriptive, but we are definitively all about experimentation :) I would guess that the MIPS support is the most restrictive requirement from your set that probably rules out most of other potential candidates. But there might be a new mature real-time microkernel-based OS with MIPS support released as open source soon. Let's watch the HIPPEROS talk at FOSDEM 2020 and let's keep our fingers crossed. Best regards Martin Decky _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
