I'm a big fan of coLinux, and I'm wondering when will it support x86_64 host, I compile it in x86_64 redhat linux, and got the following errors:

make[2]: Entering directory `/usr/src/kernels/2.6.9-55.EL-smp-x86_64'
  LD      /opt/linux/coLinux-0.7.2/src/colinux/os/linux/kernel/module/.module.arch_build/built-in.o
  CC      /opt/linux/coLinux-0.7.2/src/colinux/os/linux/kernel/module/.module.arch_build/antinx.o
{standard input}: Assembler messages:
{standard input}:423: Error: suffix or operands invalid for `mov'
{standard input}:424: Error: suffix or operands invalid for `mov'
make[4]: *** [/opt/linux/coLinux-0.7.2/src/colinux/os/linux/kernel/module/.module.arch_build/antinx.o] Error 1
make[3]: *** [/opt/linux/coLinux-0.7.2/src/colinux/os/linux/kernel/module/.module.arch_build] Error 2
make[2]: *** [_module_/opt/linux/coLinux-0.7.2/src/colinux/os/linux/kernel/module] Error 2
make[2]: Leaving directory `/usr/src/kernels/2.6.9-55.EL-smp-x86_64'
Error: Target not build (TargetNotBuildError)
make[1]: *** [colinux] Error 1
make[1]: Leaving directory `/opt/linux/coLinux-0.7.2/src'
make: *** [colinux] Error 2


if I use the gcc -m32 option then I got the following errors:

/root/glibc/linux/coLinux-0.7.3/src/colinux/os/linux/kernel/module/.module.arch_build/antinx.c:1: error: code model ¡®kernel¡¯ not supported in the 32 bit mode