neel 09ab9e2937 IFC @r272185		2014-09-27 22:15:50 +00:00
..
acpica	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	IFC @r272185	2014-09-27 22:15:50 +00:00
conf	As per [1] Intel only supports this driver on 64bit platforms.	2014-09-23 08:33:03 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	IFC r271888.	2014-09-20 21:46:31 +00:00
linux32	Re-gen after r271743 implementing most of	2014-09-18 08:40:00 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
vmm	IFC @r272185	2014-09-27 22:15:50 +00:00
Makefile