64 bit support in L4Linux
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 -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~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
participants (2)
-
Adam Lackorzynski -
Stefan Kalkowski