All of the firmware for all of the boards is open source, and free for the taking. All we ask is that you follow the license terms.
You can download any of the available firmware source code as a .zip file. The files contain not only the source code, but also contain any documentation that isassociated with the files. These documentation files include design proposals, detailed design journals, flowcharts, etc.