.. The Brittle Kernel documentation master file, created by
   sphinx-quickstart on Tue Apr 12 16:03:00 2016.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Manual Root
===========

.. toctree::
   :maxdepth: 4

   intro
   arch/index
   kor/index
   serial-demo
   freertos

.. The Brittle Kernel documentation master file, created by
   sphinx-quickstart on Tue Apr 12 16:03:00 2016.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

The Brittle Kernel
==================

.. toctree::
   :maxdepth: 4

   intro
   arch/index
   kor/index
   serial-demo
   freertos

Update manual title for HTML output.
Update manual title for HTML output.
