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 4.1.3.
  • Windows AMD64 or Intel EM64T (x64).
    For a full list of the Windows platforms supported by WinDriver, refer to section 4.1.1.