<sect1 id="aa-kernel">
<title>Linux (the kernel)</title>
<?dbhtml filename="kernel.html" dir="appendixa"?>

&aa-kernel-down;
&aa-kernel-desc;
&aa-kernel-dep;

</sect1>