---
layout:
  'hcl'
type:
  'Notebook'
hvm:
  'yes'
iommu:
  'yes'
slat:
  'yes'
tpm:
  '2.0'
remap:
  'yes'
brand: |
  TUXEDO
model: |
  TUXEDO InfinityBook S 15/17 Gen7
bios: |
  1.07.09RTR2
cpu: |
  12th Gen Intel(R) Core(TM) i7-1260P
cpu-short: |
  FIXME
chipset: |
  00.0 Host bridge [0600]: Intel Corporation Device [8086:4621] (rev 02)
chipset-short: |
  FIXME
gpu: |
  02.0 VGA compatible controller [0300]: Intel Corporation Alder Lake-P GT2 [Iris Xe Graphics] [8086:46a6] (rev 0c) (prog-if 00 [VGA controller])
gpu-short: |
  FIXME
network: |
  00.0 Network controller [0280]: Intel Corporation Wi-Fi 6 AX200 [8086:2723] (rev 1a)
  00.0 Ethernet controller [0200]: Realtek Semiconductor Co., Ltd. RTL8111/8168/8211/8411 PCI Express Gigabit Ethernet Controller [10ec:8168] (rev 15)
memory: |
  65240
scsi: |

usb: |
  3
certified:
  'no'
versions:
  - works:
      'FIXME:yes|no|partial'
    qubes: |
      R4.3.0
    xen: |
      4.19.4
    kernel: |
      6.12.63-1
    remark: |
      FIXME
    credit: |
      FIXAUTHOR
    link: |
      FIXLINK