Kernel: 3.11.1-2.pvops.qubes.x86_64 CPU: Intel(R) Core(TM) i5-2520M CPU @ 2.50GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation 2nd Generation Core Processor Family DRAM Controller [8086:0104] (rev 09) VGA: 00:02.0 VGA compatible controller [0300]: Intel Corporation 2nd Generation Core Processor Family Integrated Graphics Controller [8086:0126] (rev 09) BIOS: A17 VT-x: Active VT-d: Active