L4Linux on x86_64

Nobody III hungryninja101 at ...9...
Fri Oct 31 05:59:27 CET 2014

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>

More information about the users mailing list