[coLinux-users] x86-64 Kernel on 64-bit Windows (mostly XP x64)

[Gordan B. <go...@bo...>]

Hi,

Is there a 64-bit kernel binary available for coLinux? I want to run my 
64-bit install from Windows, but would prefer to avoid building my own 
kernel to begin with.

If binary isn't available, is there a special procedure for building 
on/for 64-bit Windows? What compiler versions are known to work?

Thanks.

Gordan