Loading...
Searching...
No Matches
Go to the documentation of this file.
24#define CONFIG_FILE_NAME L"config.ini"
34#define VMM_DRIVER_NAME "hyperhv"
40#define KERNEL_DEBUGGER_DRIVER_NAME "hyperkd"
46#define KERNEL_DEBUGGER_DRIVER_NAME_AND_EXTENSION "hyperkd.sys"
55#define SCRIPT_ENGINE_TEST_CASES_DIRECTORY "script-test-cases"
60#define TEST_CASE_MAXIMUM_BUFFERS_TO_COMMUNICATE 0x1000
72#define DefaultSpeedOfReadingKernelMessages 30