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