path: root/Documentation/infrastructure/index.md

# coreboot infrastructure

This section contains documentation about coreboot infrastructure

## Jenkins builders and builds
* [Setting up Jenkins build machines](builders.md)
* [Coverity Scan integration](coverity.md)