Hi,
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?
Any advice on approach is welcome.
Thanks, Stefan
Hi,
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...
Adam
Thank you Adam, for your prompt answer!
On 05/03/2011 11:21 PM, Adam Lackorzynski wrote:
Hi,
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...
Adam
l4-hackers@os.inf.tu-dresden.de