<sect1 id="aa-kernel"> <title>Linux kernel</title> <?dbhtml filename="kernel.html" dir="appendixa"?> &aa-kernel-down; &aa-kernel-desc; &aa-kernel-dep; </sect1>
