Qubes release 2 (R2) Model Name: Dell_Inc. XPS_15_9530 Kernel: 3.12.23-1 Xen: 4.1.6.1 RAM: 16287 Mb CPU: Intel(R) Core(TM) i7-4702HQ CPU @ 2.20GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor DRAM Controller [8086:0c04] (rev 06) VGA: 00:02.0 VGA compatible controller [0300]: Intel Corporation 4th Gen Core Processor Integrated Graphics Controller [8086:0416] (rev 06) HDD: SAMSUNG SSD PM85 Rev: EXT4 Name Rev: 2CV1 BIOS: A04 VT-x: Active VT-d: Active >-->-->-->-->--> HCL Wiki format begins >-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->