RE: Problems using .kdfiles to replace boot time drivers

This was really helpful , after breaking my head on the setup couple of days.
ntldr_dbg is no longer available in WDK

Thanks to all you guys

Thanks,
Manohara