The source code of Barrelfish is documented using Doxygen.
This article assumes you have run though the steps in Getting Started, up through generating a Makefile.
Doxygen (packet doxygen on Ubuntu or Debian)
Change into the build directory of the Barrelfish source
After the generation finished, open the following file in your favourite browser to access the documentation.