# grep INTEL_IOMMU /boot/config-`uname -r` CONFIG_INTEL_IOMMU=y # CONFIG_INTEL_IOMMU_DEFAULT_ON is not set CONFIG_INTEL_IOMMU_FLOPPY_WA=y上記のようにCONFIG_INTEL_IOMMUはyだけど、CONFIG_INTEL_IOMMU_DEFAULT_ONがセットされていない場合、起動オプションにintel_iommu=onを指定する必要がある。
Ubuntu 14.04なら、/etc/default/grubに以下の記述を加える。
GRUB_CMDLINE_LINUX="intel_iommu=on"そして、grub.cfgを更新して再起動。
grub-mkconfig > /boot/grub/grub.cfg成功すると次の文字列がカーネルメッセージに現れる。
$ dmesg | grep Intel-IOMMU [ 0.000000] Intel-IOMMU: enabled