Re: Using the real Windows kernel