Appendix A. 64-Bit Operating Systems Support

A.1. Supported 64-Bit Architectures

WinDriver supports the following 64-bit platforms:

  • Linux AMD64 or Intel EM64T (x86_64).
    For a full list of the Linux platforms supported by WinDriver, refer to Section 3.1.3.
  • Windows AMD64 or Intel EM64T (x64).
    For a full list of the Windows platforms supported by WinDriver, refer to Section 3.1.1.

[Note]
The project or makefile for a 64-bit driver project must include the KERNEL_64BIT preprocessor definition. In the makefiles, the definition is added using the -D flag: -DKERNEL_64BIT.
The sample and wizard-generated Linux and Windows GCC makefiles and the Windows MS Visual Studio projects, in the 64-bit WinDriver toolkit, already include this definition.

For information regarding performing 64-bit data transfers with WinDriver, including on 32-bit platforms, refer to Section 10.2.3.