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.