The files in the Microkit project are released under standard open source
licenses, identified by SPDX license tags. See the individual file headers
for details, or use one of the publicly available SPDX tools to generate a bill
of materials. The directory LICENSES contains the text for all licenses
that are mentioned by files in this project.
Code contributions to this project should be licensed under the BSD-2-Clause license, and documentation under the CC-BY-SA-4.0 license.