L4Linux and AMD64

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Apr 9 21:02:52 CEST 2006

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.

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

More information about the l4-hackers mailing list