I just attempted to replace win32k.sys with the checked build
version under XP Pro… In doing so, I disabled system file protection,
replaced the binary, and rebooted. Lo and Behold, my system now won’t
boot at all because of 8 gazillion error messages / asserts thrown by
win32k.sys.
I figured, “no problem, I’ll just use .kdfiles to replace the
binary”. So I added the free build of win32k.sys to my host machine and
edited/reloaded my kdfiles associations, rebooted the target, thought
everything was going to be OK, and boom… nada. The other drivers that
I have loading with .kdfiles are copied over the connection just fine,
but win32k.sys isn’t… sigh.
Is there any way to turn on extra debugging info for .kdfiles (sorta
like a ‘.kdfiles noisy’ 
or any other reason why win32k.sys would be
special and not load???
Thanks,
sean