DeviceTree，非常有用的驱动开发工具，这是2.19版，比微软DDK带的要新。这是用于X86环境的。