/config/submodule/coreboot/

• ../
• coreboot413
• default
• dell7
• fam15h
• haswell