通過USB3.0架設ASL code的WinDbg：

目標機器配置：

1. 獲取OS同版本的check build acpi.sys；

2. 替換系統中的acpi.sys（參考：如何替換Windows的系統文件）；

3. 重啟，如果替換之後進不去OS：

（1）在BIOS Setup界面把系統時間設成在acpi.sys文件的簽名時間之內；

（2）在Advance選項中選擇disable driver signature進入OS。

4. 關閉防火墻；

5. 設置通過USB調試：

方法1：執行下面指令：

bcdedit /debug on
bcdedit /set testsigning on
bcdedit 
 
/dbgsettings usb targetname:XX
reg add "HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Session Manager\Debug Print Filter"
reg add "HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Session Manager\Debug Print Filter" /v AMLI /t REG_DWORD /d 0xFFFFFFFF /f>nul

方法2：

WIN+R -> Msconfig -> Boot -> Advanced options… -> 選中debug, debug port: USB, USB target name: XX

主機配置：

1. 安裝WinDbg程序；

2. Load正確的 Symbol File Path；

3. Kernel Debug...選中USB；

開始調試：

1. 暫停目標機器；

2. 依次輸入：

.reload /f /v acpi.sys
!amli debugger 
!amli set verboseon  
!amli set traceon
!amli set nesttraceon 
!amli set spewon 

3. 輸入g，回車之後進入amli Debug模式；

4. 執行S3/S4就能看到有ASL code丟出來。

通過USB架設ASL code的WinDbg