Kernel:		3.11.1-2.pvops.qubes.x86_64

CPU:		Intel(R) Core(TM) i5-4670 CPU @ 3.40GHz
Chipset:	00:00.0 Host bridge [0600]: Intel Corporation Haswell DRAM Controller [8086:0c00] (rev 06)
VGA:		00:02.0 VGA compatible controller [0300]: Intel Corporation Haswell Integrated Graphics Controller [8086:0412] (rev 06)

BIOS:		P1.50
VT-x:		Active
VT-d:		Active