From 120339d1a29c701e1e25ad0cb466a74b5b27a03c Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Fri, 13 Feb 2026 12:29:49 +1100
Subject: [PATCH] Do not build x86-64 with IOMMU support

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 build_sdk.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build_sdk.py b/build_sdk.py
index 346932f8..114f8bc8 100644
--- 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