Do not build x86-64 with IOMMU support

Ivan-Velickovic · Ivan-Velickovic · commit da12b035f6e5 · 2026-02-13T11:38:50.000+10:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/build_sdk.py b/build_sdk.py
@@ -59,6 +59,8 @@
 DEFAULT_KERNEL_OPTIONS_X86_64 = {
     "KernelPlatform": "pc99",
     "KernelX86MicroArch": "generic",
+    # See https://github.com/seL4/microkit/issues/418 for details.
+    "KernelIOMMU": False,
 } | DEFAULT_KERNEL_OPTIONS
 
 
