Re: [ros-dev] Xen port of ReactOS