core Directory Reference

Files
	Debugger.h
	General debugger headers.
	DebuggerVmcalls.h
	HaltedCore.h
	Header for the implementation of applying events in halted cores.
	State.h
	Model-Specific Registers definitions.