1#
2# Copyright 2014, General Dynamics C4 Systems
3#
4# This software may be distributed and modified according to the terms of
5# the GNU General Public License version 2. Note that NO WARRANTY is provided.
6# See "LICENSE_GPLv2.txt" for details.
7#
8# @TAG(GD_GPL)
9#
10
11* Intel VT-d (I/O MMU) support
12
13Intel VT-d support in seL4 was tested for the following chipsets:
14- Intel Q35 Express
15- Intel 5500
16
17On other chipsets with Intel VT-d support, seL4 might:
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- in the BIOS, or
24- by including "disable_iommu" into the MultiBoot (e.g. GRUB) command line
25  as described in the seL4 documentation
26