-
KyungWoon Cho authored
vhci(ude) uses WPP SW tracing for kernel log instead of DbgPrintEx(). It requires a tool like TraceView.exe. Brief instruction for kernel log of vhci(ude) is added to README.md.
6e003da7
vhci(ude) uses WPP SW tracing for kernel log instead of DbgPrintEx(). It requires a tool like TraceView.exe. Brief instruction for kernel log of vhci(ude) is added to README.md.