1.. SPDX-License-Identifier: GPL-2.0 2 3================== 4IA-64 Architecture 5================== 6 7.. toctree:: 8 :maxdepth: 1 9 10 ia64 11 aliasing 12 efirtc 13 err_inject 14 fsys 15 irq-redir 16 mca 17 serial 18 xen 19