.. SPDX-License-Identifier: GPL-2.0
==================
IA-64 Architecture
.. toctree::
:maxdepth: 1
ia64
aliasing
efirtc
err_inject
fsys
irq-redir
mca
serial
xen