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