Intelマシンで、IOMMUを使用する。

次のようにしてIOMMUを有効にしてカーネルがビルドされているか調べる。以下の例は、Ubuntu 14.04.3 LTSの3.19.0-56-generic。

# 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