L4Linux and AMD64

Zephiris zephiris at gmail.com
Sun Apr 9 09:22:42 CEST 2006

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.

More information about the l4-hackers mailing list