--- layout: 'hcl' type: 'laptop' hvm: 'yes' iommu: 'no' slat: 'yes' tpm: 'unknown' brand: | SAMSUNG ELECTRONICS CO., LTD. model: | 940X3G/930X3G bios: | P05ACJ.128.140819.dg cpu: | Intel(R) Core(TM) i7-4500U CPU @ 1.80GHz cpu-short: | FIXME chipset: | Intel Corporation Haswell-ULT DRAM Controller [8086:0a04] (rev 09) chipset-short: | FIXME gpu: | Intel Corporation Haswell-ULT Integrated Graphics Controller [8086:0a16] (rev 09) (prog-if 00 [VGA controller]) gpu-short: | FIXME network: | Intel Corporation Wireless 7260 (rev 6b) Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 0c) memory: | 8106 scsi: | TOSHIBA THNSNH25 Rev: N103 versions: - works: 'FIXME:yes|no|partial' qubes: | R3.2 xen: | 4.6.4 kernel: | 4.4.38-11 remark: | FIXME credit: | FIXAUTHOR link: | FIXLINK ---