64 bit support in L4Linux
stefan.kalkowski at genode-labs.com
Tue May 3 23:37:50 CEST 2011
Thank you Adam, for your prompt answer!
On 05/03/2011 11:21 PM, Adam Lackorzynski wrote:
> On Tue May 03, 2011 at 15:37:04 +0200, Stefan Kalkowski wrote:
>> I've a short question related to L4Linux for 'x86_64'. When looking at
>> the L4-specific architecture-files, I got the impression that the 64-bit
>> support from the x86 port got retained. But my attempts to enable 64-bit
>> in L4Linux failed. (Setting environment variables, tweaking
>> configuration, hacking Kconfig a bit...)
>> Does that mean 64-bit isn't supported by now, or if it is, what is the
>> recommended way to enable it?
> 64bit support is not yet there. What's visible is maybe like 15% of
> what's needed. So, not yet...
More information about the l4-hackers