I got the impression from the coLinux 64 bit wiki that the major problem
was the difference in sizes of variables between the Windows 64 bit ABI
and the Linux 64 bit ABI.
I wonder whether the new x32 ABI in Linux, which is supported by gcc,
makes this situation any different? It changes some things which were 64
bits wide to being 32 bits wide. I haven't studied this, but just maybe
the Windows and Linux 64 bit worlds begin to align better?
However, the 32 bit CoLinux seems to be a bit stagnant, based on
references to kernel versions being back in the 2.6.x days. (We are up
to 3.8 now).
Maybe the problem is that 64 bit was looking difficult, and 32 bit was
disappearing, so the whole project has stumbled?
I hope not.