report_iommu.sh

#!/bin/bash
echo "Motherboard Information"
lshw | grep -A10 "description: Motherboard" | sed -e 's/^[ \t]*//' | sed '/^\*/d' | tail -n +1
echo -e "\nProcessor Information"
lshw | grep -A1 "description: CPU" | sed -e 's/^[ \t]*//' | tail -n -1
echo -e "\nKernel Information"
uname -sr
echo -e "\nIOMMU groups"
shopt -s nullglob
for d in /sys/kernel/iommu_groups/*/devices/*; do
    n=${d#*/iommu_groups/*}; n=${n%%/*}
    printf 'IOMMU Group %s ' "$n"
    lspci -nns "${d##*/}"
done;