Now: Nova not maintained [Earlier]: Understanding Muen [Earlier] Re: Problem with make run/demo ....
Hi Nobody,
Please don't mind my changing the subject title.
On Tue, Apr 18, 2017 at 11:44 PM, Nobody III <hungryninja101@...9...> wrote:
By the way, NOVA doesn't seem to be maintained anymore, except a bit by Genode developers. Is this observation correct?
My observation is that most of the innovations were achieved by 2012 in microkernel research so stable work is what we see in Fiasco.oc and Nova. The only problem was that these OSes could not be formally verified. Muen answers the problem by hardcore simplicity, while I believe SEL4 has practicality issues.
Formal verification is not interesting for developers so somehow funds went somewhere else. Just a thought.
Rest is driver development which is not a research and showcase problem and handed by industry rather than universities,
TUD Genode people are the pioneers and can answer better.
Regards, Shahbaz
Hello Shahbaz Khan,
On Wed, Apr 19, 2017 at 08:59:52AM +0500, Shahbaz khan wrote:
Please don't mind my changing the subject title.
The truth is I do mind because this statement is wrong. Please refer to Alexander Böttcher's clarification
https://sourceforge.net/p/genode/mailman/message/35795215/
Thanks
On Wed, Apr 19, 2017 at 1:49 PM, Christian Helmuth < christian.helmuth@...1...> wrote:
Hello Shahbaz Khan,
On Wed, Apr 19, 2017 at 08:59:52AM +0500, Shahbaz khan wrote:
Please don't mind my changing the subject title.
The truth is I do mind because this statement is wrong. Please refer to Alexander Böttcher's clarification
What can I say?
I'll add ... no hard feelings. It does hurt when your work is criticized wrongly.
It does not seem incorrect to re-title when "Understanding Muen ..." comes up with Nova does not seem to be maintained. You understand better. The oldies know what to do in a world of politics. We abide so things run smooth.
https://sourceforge.net/p/genode/mailman/message/35795215/
Thanks
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Christian Helmuth -
Shahbaz khan