The seL4 microkernel https://sel4.systems/

CAVEATS-ia32.txt 756B

1234567891011121314151617181920212223242526
  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. * Intel VT-d (I/O MMU) support
  11. Intel VT-d support in seL4 was tested for the following chipsets:
  12. - Intel Q35 Express
  13. - Intel 5500
  14. On other chipsets with Intel VT-d support, seL4 might:
  15. - complain and disable IOMMU support
  16. - hang during bootstrapping
  17. - have some weird behaviour during runtime
  18. In any case, the workaround is to disable VT-d support, either:
  19. - in the BIOS, or
  20. - by including "disable_iommu" into the MultiBoot (e.g. GRUB) command line
  21. as described in the seL4 documentation