L4Linux and AMD64
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
More information about the l4-hackers