L4Linux on x86_64

[Sebastian Sumpf]

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

-- 
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth