Top 1 t430 open source projects

Bash scripts and config files to simplify building of Coreboot using the official coreboot-sdk docker image