# coreboot infrastructure
This section contains documentation about coreboot infrastructure
## Jenkins builders and builds
[Setting up Jenkins build machines](builders.md)