Add allocation pools, release memory in GC
diff --git a/doc/index.rst b/doc/index.rst
index 5baa0ef..043078f 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -13,11 +13,18 @@
    :maxdepth: 2
    :caption: Contents:
    :glob:
+   :hidden:
 
-   *
+   build
+   architecture
+   filesystem
+   lisp-std
+   lisp-api
+   logging
+   kernel-api
 
 Bluejay is an operating system inspired by UNIX and early Lisp machines.
 Currently it only targets x86. There are no plans to port to other platforms.
 
-This documentation is incomplete, but should provide a general introduction to
-compiling and developing Bluejay.
+This documentation should provide an introduction to compiling, developing, and
+using Bluejay.
diff --git a/doc/kernel.doxyfile b/doc/kernel.doxyfile
index 5d5f1e1..7c84a84 100644
--- a/doc/kernel.doxyfile
+++ b/doc/kernel.doxyfile
@@ -829,7 +829,7 @@
 # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
 # Note: If this tag is empty the current directory is searched.
 
-INPUT                  = ../src/kernel
+INPUT                  = ../src/kernel ../include/kernel
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses
@@ -898,7 +898,7 @@
 # Note that the wildcards are matched against the file with absolute path, so to
 # exclude all test directories use the pattern */test/*
 
-EXCLUDE_SYMBOLS        =
+EXCLUDE_SYMBOLS        = isr* irq* KBD_* MULTIBOOT_* _*
 
 # The EXAMPLE_PATH tag can be used to specify one or more files or directories
 # that contain example code fragments that are included (see the \include