---
layout:
  'hcl'
type:
  'desktop'
hvm:
  'yes'
iommu:
  'no'
slat:
  'yes'
tpm:
  'no'
remap:
  'no'
brand: |
  Dell Inc.
model: |
  Studio XPS 435MT
bios: |
  1.1.4
cpu: |
  Intel(R) Core(TM) i7 CPU         920  @ 2.67GHz
cpu-short: |
  Intel i7-920
chipset: |
  Intel Corporation 5520/5500/X58 I/O Hub to ESI Port [8086:3400] (rev 12)
chipset-short: |
  Intel X58
gpu: |
  Advanced Micro Devices, Inc. [AMD/ATI] Pitcairn XT [Radeon HD 7870 GHz Edition] [1002:6818] (prog-if 00 [VGA controller])
gpu-short: |
  Radeon HD 7870 GHz Edition
network: |
  Intel Corporation 82567LF-2 Gigabit Network Connection
memory: |
  8183
scsi: |
  WDC WD10EZEX-22B Rev: 1A01
  Hitachi HUA72303 Rev: A580
usb: |
  8
versions:

- works:
    'yes'
  qubes: |
    R3.2
  xen: |
    4.6.5
  kernel: |
    4.4.67-13
  remark: |
    No problems, except that I had to disable /dev/snd/{hwC1D0,controlC1} until PulseAudio was updated
  credit: |
    squeegily
  link: |
    FIXLINK

---