Kernel: 3.9.2-2.pvops.qubes.x86_64 CPU: Intel(R) Core(TM)2 Duo CPU P9600 @ 2.53GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation Mobile 4 Series Chipset Memory Controller Hub [8086:2a40] (rev 07) VGA: 00:02.0 VGA compatible controller [0300]: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller [8086:2a42] (rev 07) 00:02.1 Display controller [0380]: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller [8086:2a43] (rev 07) BIOS: A24 VT-x: Active VT-d: Active