L4Linux and AMD64

[Adam Lackorzynski]

On Sun Apr 09, 2006 at 00:22:42 -0700, Zephiris wrote:
> I haven't been looking around at things very long, but I was noticing, while 
> Fiasco largely supports AMD64 processors in 64-bit mode, L4Linux appears to 
> specifically avoid it. I couldn't find any references for this, will it ever 
> be supported? It's something I was excited about/meaning to try, but as my 
> system is setup with 64-bit binaries in mind, it looks like the only way to 
> test it would be for L4Linux to support that.

'avoid' is definitely the wrong term here. It just hasn't been ported.
That's it, simply spoken. I don't know if this will ever happen but it's
definitely not on my priority list right now.

To test L4Linux you can start with a RAMdisk so you don't need your
installed Linux system. Later, if you want to run off your disk, you'd
need a 32-bit Linux system. I guess you have a 32-bit chroot already? So
this shouldn't be too difficult.



Cheers,
Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/