Kconfig builds all boards now.
[coreboot.git] / targets / artecgroup /
drwxr-xr-x   ..
drwxr-xr-x - dbe61