GitHub - ionescu007/hdk: (unofficial) Hyper-V® Development Kit
hdk -- (unofficial) Hyper-V® Development Kit
The HDK is an updated version of the HvGdk.h header file published under MSR-LA as part of the Singularity Research Kernel. It has been updated to add the latest definitions, structures and definitions as described in the Microsoft Hypervisor Top-Level Functional Specification (TLFS) 5.0c published June 2018.
Windows® and Hyper-V® are registered trademarks of Microsoft® Corporation. This repository and its contents are not sponsored or endorsed by the companies mentioned herein.
Developing against Hyper-V® is difficult enough without symbols, and we are lucky that the HvGdk.H "leaked" at least once, and that the TLFS 5.0c exists. Unfortunately, the HvGdk.h is quite old, and the TLFS is always delayed by about a year, and does not contain readily usable definitions for programming.
HvGdk.h is modified with the following information:
- Publicly available definitions/structures defined in the HvGdk.h that shipped with the Windows Driver Kit for Windows 7
- Publicly available definitions/structures defined in the TLFS -- up to 5.0c for now
- This also includes inferred data from the TLFS -- for example, hypercalls are documented with their raw parameter/register mapping, but HvGdk.h contains data structures for each call -- these data structures are updated based on the parameter documentation in the TLFS.
- Publicly available symbol data, when present, from the kernel and certain user-mode binaries
This is an ongoing header, and I may have missed many things/made transcription mistakes. Contributions and pull requests are welcome as long as you stay within the confines of the MSR-LA.
Please do not add any proprietary or intellectual property information, as this would pollute the repository. All PRs will be examined for 'sourcing' information and verified to be publicly available.
License / Legal
Based upon my reading of the MSR-LA, it is perfectly legal to redistribute the original header file with modifications, as long as the copyright is kept (it is), modifications are clear, annotated, and date (they are), and you agree to the original license (academic/research use only). I am not a lawyer, so please consult with one if you intend to use this in any way -- but this repository and my changes appear to be covered by MSR-LA.
LICENSE.MD for the full license.
VisualUefi - A project for allowing EDK-II Development with Visual Studio
SpecuCheck is a Windows utility for checking the state of the software mitigations against CVE-2017-5754 (Meltdown) and hardware mitigations against CVE-2017-5715 (Spectre)
README.md WinIPT The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by Windows 10 Redstone 5 (1809), currently...
weweChat - 💬 Unofficial WeChat client built with React, MobX and Electron.
amzSear - The unofficial Amazon search CLI & Python API
README.md Unofficial Solidot iOS App 非官方的Solidot iOS App Good day, Nerds. 这是一个非官方的Solidot iOS客户端，因为不知为何不符合苹果商店的审核标准。 故开源出来给大家交流学习，目前仅...
GitHub is where people build software. More than 27 million people use GitHub to discover, fork, and contribute to over 80 million projects.
README.md The unofficial WWDC app for macOS WWDC for macOS allows both attendees and non-attendees to access WWDC livestreams, videos and sessions during the conference and as a year-round reso...
README.md telega.el telega.el is an unofficial client for Telegram platform for GNU Emacs. teleg...