It seems that L4Linux expects either x86_32 or arm. Would it work to compile the x86_32 version on x86_64? If not, why? What level of multiarch support does Genode have? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20141031/9c5e3570/attachment.html>