Re: L4Linux on x86_64

Hi Ben, On 10/31/2014 05:59 AM, Nobody III wrote:

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?

L4Linux is Fiasco.OC specific, runs only on that kernel, and is available for x86_32 and ARM platforms only. It has nothing to do with multiarch, but is one option to use virtualization on Genode and another reason why Genode supports multiple kernels. For L4Linux x86_64 support, one would have to ask the actual developers of L4Linux and Fiasco (read: http://www.kernkonzept.com and of course the l4hackers list http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers).

Sebastian