coreboot infrastructure
This section contains documentation about coreboot infrastructure
Jenkins builders and builds
Setting up Jenkins build machines