CoLinux es un port del núcleo Linux a Windows.