Thanks for your help - that did the trick.
Also, I was wondering about how to debug linux.sys? I have WinDbg and am set up to do kernel debugging, but since linux.sys is being built with gcc, I was wondering if WinDbg would be able to read the symbols.
Does anyone have any ideas about this? Has anyone tried building linux.sys with Microsoft's DDK?
Bye the way - This is a great product. I have it running on my laptop using my Fedora installation with VNC for my X server. Great job guys.

Daniel R. Slater