coreboot infrastructure

This section contains documentation about coreboot infrastructure

Jenkins builders and builds

Setting up Jenkins build machines