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