64 bit support in L4Linux

[Adam Lackorzynski]

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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/