Hi
I've just learned about the Genode OS framework, and I'd like to understand how it compares with L4 Runtime Environment (L4Re). I was reading the overview and I got the impression that Genode and L4Re provide very similar functionality. I'm sure I'm missing something.
Thank you very much.
Best regards, --Nuno Santos