Qubes release 2 (R2) Model Name: LENOVO 24385JU Kernel: 3.12.18-1.pvops.qubes.x86_64 Xen: 4.1.6.1 CPU: Intel(R) Core(TM) i7-3740QM CPU @ 2.70GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation 3rd Gen Core processor DRAM Controller [8086:0154] (rev 09) VGA: 01:00.0 VGA compatible controller [0300]: NVIDIA Corporation GK107GLM [Quadro K2000M] [10de:0ffb] (rev a1) BIOS: G5ET93WW (2.53 ) VT-x: Active VT-d: Active