Does not work with ARM64 target
I'm developing a driver for the ARM64 PC released by ASUS - https://www.asus.com/us/2-in-1-PCs/ASUS-NovaGo-TP370QL/
I tried the test script:
import pykd nt = pykd.module("nt") if nt > addr64(0x80000000): print "nt module is in highest address space"
I get error on WinDbg: ` Traceback (most recent call last):
File "d:\dropbox\pykd\test.py", line 2, in nt = pykd.module("nt")
DbgException: Unknown processor type `