capstone/contrib/windows_kernel

For Windows kernel programming, the SDK does not offer some functions
needed by Capstone. The missing functions are: 

	- Memory allocations: malloc(), calloc(), realloc() & free().
	- Format input variables & write out result to char buffer: vsnprintf()

This directory contains some code providing above-mentioned functions, so you can
integrate Capstone with your Windows-kernel drivers using C++.

All the code here is contributed by Peter Hlavaty <zer0mem@yahoo.com>
See the full example with Capstone integration at https://github.com/zer0mem/libc.git