1<!--
2  Copyright 2014, General Dynamics C4 Systems
3
4  SPDX-License-Identifier: GPL-2.0-only
5-->
6
7# Caveats specific to seL4 on ia32 and ia64
8
9## Intel VT-d (I/O MMU) support
10
11Intel VT-d support in seL4 was tested for the following chipsets:
12
13 - Intel Q35 Express
14 - Intel 5500
15
16On other chipsets with Intel VT-d support, seL4 might:
17
18 - complain and disable IOMMU support
19 - hang during bootstrapping
20 - have some weird behaviour during runtime
21
22In any case, the workaround is to disable VT-d support, either:
23
24 - in the BIOS, or
25 - by including `disable_iommu` into the MultiBoot (e.g. GRUB) command line
26   as described in the seL4 documentation
27