Windows PV Network Device Driver
The XenNet package consists of a single device driver:
See BUILD.md
See INSTALL.md
See INTERFACES.md
For convenience the source repository includes some other scripts:
This generates two files called kdfiles32.txt and kdfiles64.txt which can
be used as map files for the .kdfiles WinDBG command.
This runs Static Driver Verifier on the source.
This removes any files not checked into the repository and not covered by
the .gitignore file.