.. SPDX-License-Identifier: GPL-2.0

==================
IA-64 Architecture
==================

.. toctree::
   :maxdepth: 1

   ia64
   aliasing
   efirtc
   err_inject
   fsys
   irq-redir
   mca
   serial
   xen