On July 29th of this year the seL4 is going to become free software. Is Genode going to support or it's already supporting this uKernel ??? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20140619/3c4c3990/attachment.html>