A really simple and lightweight x64 hypervisor written in C for Intel processors.
- IDT Shadowing
- EPT violation handling via #VE
- EPTP switching VMFUNC and a small hooking example included
- An Intel processor that supports VMFUNC (for EPTP switching) and #VE. Usually Broadwell or newer. Haswell may partially support the features (#VE only IIRC).
- Microsoft compiler (CL). VS 2015 prefered. Others are not currently supported.
- UEFI
- Intel TXT
- VT-x nesting (i.e. having a vm running inside it and not the other way around!)
Unfortunately, no currently available VM is able to emulate it (or "nest" it), because these features
are quite new, so testing on a VM is not an option, you'd need to test on a physical machine for it to work.
Further more, XEN may support nesting for it, I am not entirely sure. But I am looking forward to port KVM to do so,
however KVM seems to be (currently) failing at nesting Windows VMs in general, so it might be difficult.
All x64 NT kernels starting from the Windows 7 NT kernel. It was mostly tested under Windows 8/8.1/10, but no reason not to support 7.
- Port
Makefile
and/or provide some project (e.g.KDevelop
or similar). Makefile is prefered - Port
mm.h
functions (mm_alloc_pool, mm_free_pool, __mm_free_pool
). You'll need__get_free_page
instead ofExAllocatePool
. - Port
acpi.cp
(not really needed) for power handling (re-virtualization) or comment it out otherwise. - Port
main.c
for some internal windows stuff, e.g.DriverEntry
, etc. Perhaps even rename to something like main_windows.c or similar. - Port
page.c
for the hooking example (not required, but it's essential to demonstrate usage). - Port
x64.asm
to inline assembly perhaps or some other GAS file, shouldn't be too difficult (MASM -> GAS/NASM, GAS prefered). - Port intrinsic functions, should be easy,
__vmx_vmwrite, __vmx_vmread
, etc. Just defining them should be OK (e.g. in vmx.h or in pure assembly).
Hopefully didn't miss something important, but these are definitely the mains.
It can be easily done since #VE is mainly not required, the only issue is VMFUNC which can be emulated using a VMCALL
and calling ept_switch_root_p
will satisfy.
As this degrades performance, it's not implemented, but feel free to do so and submit a patch.
Contributions are really appreciated and can be submitted by one of the following:
- Patches (e-mail)
- Github pull requests
- git request-pull
It'd be appreciated if you use a separate branch for your submissions (other than master, that is).
- UEFI support
- Intel TXT support
- Nesting support (shouldn't be too difficult, not mandatory.)
- Interrupt queueing (currently if an injection fails, it will just ignore it, should be simple).
- Cross-compiling Makefile
- Native-compiling Makefile
- GCC / CLang support (you can discard SEH aka
__try
and__except
if required)
- By enabling the descriptor table exiting bit in processor secondary control, we can easily establish this
- On initial startup, we allocate a completely new IDT base and copy the current one in use to it (also save the old one)
- When a VM-exit occurs with an
EXIT_REASON_GDT_IDT_ACCESS
, we simply just give them the cached one (on sidt) or (on lidt), we copy the new one's contents, discarding the hooked entries we know about, thus not letting them know about our stuff.
We use 3 EPT pointers, one for executable pages, one for readwrite pages, and last one for normal usage. (see next section)
-
vcpu.c
: insetup_vmcs()
where we initially setup the VMCS fields, we then set the relevant fields (VE_INFO_ADDRESS
,EPTP_LIST_ADDRESS
,VM_FUNCTION_CTL
) and enable relevant bits VE and VMFUNC in secondary processor control. -
x64.asm
: which contains the #VE handler (__ept_violation
) then does the usual interrupt handling and then calls__ept_handle_violation
(ept.c) where it actually does what it needs to do. -
ept.c
: in__ept_handle_violation
(#VE handler not VM-exit), usually the processor will do the #VE handler instead of the VM-exit way, but sometimes it won't do so if it's delivering another exception. This is very rare. -
ept.c
: while handling the violation via #VE, we switch vmfunc only when we detect that the faulting address is one of our interest (e.g. a hooked page), then we determine which EPTP we want and do vmfunc with that EPTP index.
(... to avoid a lot of violations, we just mark the page as execute only and replace the _final_ page frame
number so that it just goes straight ahead to our trampoline)
Since we use 3 EPT pointers, and since the page needs to be read and written to sometimes (e.g. patchguard
verification),
we also need to catch RW access to the page and then switch the EPTP appropriately according to
the access. In that case we switch over to EPTP_RWHOOK
to allow RW access only!
The third pointer is used for when we need to call the original function.
You can report bugs by using Github issues, please provide the following:
- System information (version including build number, CPU information perhaps codename too)
- Anything else you feel is relevant
If it's a crash, please provide the following:
- A minidump (C:\windows\minidump) or a memory dump (C:\windows\memory.dmp). Former prefered.
- The compiled .sys and the .pdb file
- The git tree hash of which you compiled it against.
- The Kernel executable if possible, e.g. ntoskrnl.exe from C:\Windows\System32
- Linux kernel (KVM)
- HyperPlatform
GPL v2 firm, see LICENSE file.