coreboot infrastructure

This section contains documentation about coreboot infrastructure

Jenkins builders and builds

• Setting up Jenkins build machines