Hello,Is Genode good for the Desktop and is it based on seL4?What does OS framework mean? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20200803/c4b0c7a2/attachment.html>