Now: Nova not maintained [Earlier]: Understanding Muen [Earlier] Re: Problem with make run/demo ....

[Shahbaz khan]

Hi Nobody,

Please don't mind my changing the subject title.

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

[Christian Helmuth]

Hello Shahbaz Khan,

Post by Shahbaz khan
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

[Shahbaz khan]

On Wed, Apr 19, 2017 at 1:49 PM, Christian Helmuth <

Post by Christian Helmuth
Hello Shahbaz Khan,

Post by Shahbaz khan
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.

Post by Christian Helmuth
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
https://lists.sourceforge.net/lists/listinfo/genode-main