Kernel: 3.11.1-2.pvops.qubes.x86_64 CPU: Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation Mobile 4 Series Chipset Memory Controller Hub [8086:2a40] (rev 07) VGA: 01:00.0 VGA compatible controller [0300]: Advanced Micro Devices [AMD] nee ATI RV635 [Mobility Radeon HD 3650] [1002:9591] BIOS: 6FET92WW (3.22 ) VT-x: Active VT-d: Not Active