I would instead consider the purchase of an owner controlled KCMA-D8 or KGPE-D16 motherboard which you can install libre board+bmc firmware on.
They support qubes 4.0 very well and all devices have their own IOMMU group. They are a much better choice than a proprietary firmware PSP laden non-owner controlled new intel/amd system and are the last and best owner controlled x86 motherboards...now the only new performance CPU arch that is owner controlled is POWER such as the TALOS 2 system which currently doesn't have a xen port although it supports other virts such as KVM/QEMU. -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/03915a86-7cbe-344e-05eb-909bad715f90%40gmx.com. For more options, visit https://groups.google.com/d/optout.