Thank you for the explanations! For the IOMMU support I have to activate some options in the kernel configuration: CONFIG_IOMMU_SUPPORT=y CONFIG_INTEL_IOMMU=y
However, there are numerous other options: CONFIG_IOMMU_IOVA CONFIG_IOMMU_API CONFIG_IOMMU_DEBUGFS CONFIG_IOMMU_DEFAULT_PASSTHROUGH CONFIG_INTEL_IOMMU_DEFAULT_ON CONFIG_DMAR_TABLE If I activate all of these options, the Linux kernel won't start! Which options should be activated and which options shouldn't be activated? Best regards Jan. -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to jailhouse-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/b7dd4477-cf1a-44e5-9f7d-5c0bb474d26cn%40googlegroups.com.